|
21
|
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism
– Michal Walicki, Sigurd Meldal
- 1995
|
|
8
|
power algebras and complete calculi of identities and inclusions
– M Walicki, S Multialgebras Meldal
- 1995
|
|
31
|
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
– Andrea Corradini, Fabio Gadducci
- 1999
|
|
24
|
On The Algebraic Approach To Concurrent Term Rewriting
– Fabio Gadducci
- 1996
|
|
63
|
Semantics of weakening and contraction
– B Jacobs
- 1994
|
|
152
|
Functorial Semantics of Algebraic Theories
– F W Lawvere
- 1963
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
16
|
Equational Reasoning With 2-Dimensional Diagrams (preliminary Version)
– Yves Lafont
- 1992
|
|
152
|
Initial algebra semantics and continuous algebras
– J A Goguen, S W Thatcher, E G Wagner, J B Wright
- 1977
|
|
7
|
Homomorphisms and subalgebras of multialgebras
– H Pickett
- 1967
|
|
17
|
Towards a Theory of Abstract Data Types
– D Kapur
- 1980
|
|
7
|
Reasoning with Nondeterministic Specifications
– Marcin Bialasik, Beata Konikowska
- 1995
|
|
8
|
Observing non-deterministic data types
– T Nipkow
- 1987
|
|
5
|
Boolean algebras with operators i
– J' onsson, B, A Tarski
- 1951
|
|
3
|
Relational homomorphisms
– J P Boyd
- 1992
|
|
3
|
Identification of certain structures as split opfibrations over ffi op
– P Glenn
- 1997
|
|
4
|
Nondeterminism in Algebraic Specifications and Algebraic
– H Humann
- 1993
|
|
4
|
Boolean algebras with operators ii
– J' onsson, B, A Tarski
- 1952
|
|
6
|
Homomorphisms of relations
– s Lo', J
- 1985
|
