Publication | Date of Publication | Type |
---|
Compiling concurrent rewriting onto the Rewrite Rule Machine | 2023-03-09 | Paper |
Proving and rewriting | 2022-08-16 | Paper |
An introduction to category-based equational logic | 2022-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5416166 | 2014-05-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3012523 | 2011-07-06 | Paper |
Composing Hidden Information Modules over Inclusive Institutions | 2011-04-01 | Paper |
Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3520841 | 2008-08-26 | Paper |
Data, Schema, Ontology and Logic Integration | 2006-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q5717107 | 2006-01-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5311059 | 2005-08-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4431383 | 2003-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4430286 | 2003-10-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4411751 | 2003-07-09 | Paper |
A hidden Herbrand theorem: Combining the object and logic paradigms | 2003-02-13 | Paper |
Institution morphisms | 2002-09-25 | Paper |
Web-based support for cooperative software engineering | 2002-05-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503915 | 2001-06-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4503945 | 2001-05-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q2703688 | 2001-05-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499214 | 2001-03-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4520823 | 2001-02-27 | Paper |
A hidden agenda | 2000-08-21 | Paper |
An Oxford survey of order sorted algebra | 2000-07-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4942101 | 2000-04-02 | Paper |
Hidden coinduction: behavioural correctness proofs for objects | 2000-02-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4217944 | 1999-11-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263943 | 1999-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421560 | 1999-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4493908 | 1999-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4346205 | 1997-08-03 | Paper |
Institutions: abstract model theory for specification and programming | 1994-11-13 | Paper |
Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems | 1993-06-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4028134 | 1993-03-28 | Paper |
Final algebras, cosemicomputable algebras and degrees of unsolvability | 1993-01-17 | Paper |
Sheaf semantics for concurrent interacting objects | 1993-01-16 | Paper |
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations | 1992-12-16 | Paper |
Some fundamental algebraic tools for the semantics of computation. III: Indexed categories | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3975038 | 1992-06-26 | Paper |
A categorical manifesto | 1992-06-25 | Paper |
Order-sorted unification | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3493234 | 1989-01-01 | Paper |
Modular algebraic specification of some basic geometrical constructions | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3817573 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3030249 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3780425 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3780426 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3745248 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4723263 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3687683 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3719824 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3737481 | 1985-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories | 1984-01-01 | Paper |
Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3332238 | 1984-01-01 | Paper |
Parameterized Programming | 1984-01-01 | Paper |
Equality, types, modules, and (why not?) generics for logic programming | 1984-01-01 | Paper |
Correctness of recursive parallel nondeterministic flow programs | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3667921 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3956373 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3962973 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3920616 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3935456 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3880309 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3906394 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3906381 | 1979-01-01 | Paper |
SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4151143 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4181673 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4198543 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4125728 | 1977-01-01 | Paper |
Initial Algebra Semantics and Continuous Algebras | 1977-01-01 | Paper |
Parallel realization of systems, using factorizations and quotients in categories | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4134935 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4168048 | 1976-01-01 | Paper |
Discrete-time machines in closed monoidal categories. I | 1975-01-01 | Paper |
Semantics of computation | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4063610 | 1975-01-01 | Paper |
Axioms for discrimination information (Corresp.) | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4109324 | 1975-01-01 | Paper |
On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs | 1974-01-01 | Paper |
Concept representation in natural and artificial languages: Axioms, extensions and applications for fuzzy sets | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4096776 | 1974-01-01 | Paper |
OBJECTS | 1974-01-01 | Paper |
The fuzzy Tychonoff theorem | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4136510 | 1973-01-01 | Paper |
Realization is universal | 1973-01-01 | Paper |
Minimal realization of machines in closed categories | 1972-01-01 | Paper |
The logic of inexact concepts | 1969-01-01 | Paper |
Categories of $V$-sets | 1969-01-01 | Paper |
L-fuzzy sets | 1967-01-01 | Paper |