The following pages link to Andrzej Tarlecki (Q610396):
Displayed 50 items.
- Foundations of algebraic specification and formal software development. (Q610397) (← links)
- Architectural specifications in CASL (Q699927) (← links)
- On conservative extensions of syntax in system development (Q811131) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- On normal forms for structured specifications with generating constraints (Q1708195) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- What is a logic translation? (Q1931306) (← links)
- Book review of: Răzvan Diaconescu, Institution-independent model theory (Q2016074) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- A language of specified programs (Q2265800) (← links)
- First-Order Specifications of Programmable Data Types (Q2719126) (← links)
- (Q2764130) (← links)
- (Q2782496) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
- (Q3026326) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- (Q3204067) (← links)
- (Q3345753) (← links)
- A Heterogeneous Approach to UML Semantics (Q3507375) (← links)
- Observability Concepts in Abstract Data Type Specification, 30 Years Later (Q3507391) (← links)
- (Q3520841) (← links)
- (Q3660892) (← links)
- (Q3677153) (← links)
- (Q3687694) (← links)
- (Q3707381) (← links)
- (Q3776610) (← links)
- (Q3789048) (← links)
- Existence, Uniqueness, and Construction of Rewrite Systems (Q3806799) (← links)
- (Q3809236) (← links)
- (Q3839061) (← links)
- (Q3977997) (← links)
- (Q4312482) (← links)
- (Q4362967) (← links)
- (Q4508300) (← links)
- (Q4535078) (← links)
- (Q4680193) (← links)
- (Q4702592) (← links)
- (Q4702594) (← links)
- (Q4708555) (← links)
- (Q4712650) (← links)