IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 55
Titolo Data di pubblicazione Autore(i) File
A sound and equationally-complete deduction system for partial conditional (higher order) types 1-gen-1989 Cerioli, Maura
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications 1-gen-1989 Astesiano, Egidio; Cerioli, Maura
Partial Higher-Order Specifications 1-gen-1991 Astesiano, Egidio; Cerioli, Maura
Partial Higher-Order Specifications 1-gen-1992 Astesiano, Egidio; Cerioli, Maura
Non-strict Don't Care Algebras and Specifications 1-gen-1992 Astesiano, Egidio; Cerioli, Maura
Relationships between Logical Formalisms 1-gen-1993 Cerioli, Maura
May I Borrow Your Logic? 1-gen-1993 Cerioli, Maura; J., Meseguer
Relationships between Logical Frames 1-gen-1993 Astesiano, Egidio; Cerioli, Maura
Institutions for Very Abstract Specifications 1-gen-1993 Cerioli, Maura; Reggio, Gianna
Algebraic-Oriented Institutions 1-gen-1994 Cerioli, Maura; Reggio, Gianna
Multiparadigm Specification Languages: a First Attempt at Foundations 1-gen-1994 Astesiano, Egidio; Cerioli, Maura
Free Objects and Equational Deduction for Partial Conditional Specifications 1-gen-1995 Astesiano, Egidio; Cerioli, Maura
A Lazy Approach to Partial Algebras 1-gen-1995 Cerioli, Maura
What is an Abstract Data Type after all? 1-gen-1995 Cerioli, Maura; M., Gogolla
Non-strict Don't Care Algebras and Specifications 1-gen-1996 Astesiano, Egidio; Cerioli, Maura
Permissive Subsorted Partial Logic in CASL 1-gen-1997 Cerioli, Maura; A., Haxthausen; B., KRIEG BRCKNER; T., Mossakowski
May I Borrow Your Logic? (Transporting Logical Structures along Maps) 1-gen-1997 Cerioli, Maura; Meseguer, J.
Basic Concepts (Chapter 1) 1-gen-1998 Cerioli, Maura
Very Abstract Specifications: A Formalism Independent Approach 1-gen-1998 Cerioli, Maura; Reggio, Gianna
Implementation of Derived Programs (Almost) for Free 1-gen-1998 Cerioli, Maura; Zucca, Elena
Mostrati risultati da 1 a 20 di 55
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile