Found: 11
Select item for more details and to access through your institution.
On the Closure Properties of the Class of Full G-models of a Deductive System.
- Published in:
- Studia Logica, 2006, v. 83, n. 1, p. 215, doi. 10.1007/s11225-006-8304-6
- By:
- Publication type:
- Article
In Memory of Willem Johannes Blok 1947-2003.
- Published in:
- Studia Logica, 2006, v. 83, n. 1, p. 5, doi. 10.1007/s11225-006-8295-3
- By:
- Publication type:
- Article
A complete algebraic characterization of behavioral subtyping.
- Published in:
- Acta Informatica, 2000, v. 36, n. 8, p. 617, doi. 10.1007/s002360050168
- By:
- Publication type:
- Article
The Universality of the variety of quasigroups.
- Published in:
- Journal of the Australian Mathematical Society, 1976, v. 21, n. 2, p. 194, doi. 10.1017/S1446788700017791
- By:
- Publication type:
- Article
Behavioural reasoning for conditional equations?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 1075, doi. 10.1017/S0960129507006305
- By:
- Publication type:
- Article
On the Closure Properties of the Class of Full G-models of a Deductive System.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 215, doi. 10.1007/s11225-006-8304-6
- By:
- Publication type:
- Article
In Memory of Willem Johannes Blok 1947-2003.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 5, doi. 10.1007/s11225-006-8295-3
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 3, doi. 10.1023/a:1024698605670
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Studia Logica, 2000, v. 65, n. 1, p. 1, doi. 10.1023/A:1005273024017
- By:
- Publication type:
- Article
The abstract variable-binding calculus.
- Published in:
- Studia Logica, 1995, v. 55, n. 1, p. 129, doi. 10.1007/BF01053036
- By:
- Publication type:
- Article
Protoalgebraic logics.
- Published in:
- Studia Logica, 1986, v. 45, n. 4, p. 337, doi. 10.1007/BF00370269
- By:
- Publication type:
- Article