On the union of well-founded relations.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 195, doi. 10.1093/jigpal/6.2.195
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 2
Results: 11
1
2
Taming first-order logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 305, doi. 10.1093/jigpal/6.2.305
- By:
- Publication type:
- Article
3
Reaction and control I. Mixing additive and multiplicative network algebras.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 349, doi. 10.1093/jigpal/6.2.349
- By:
- Publication type:
- Article
4
A collective extension of relational grammar.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 175, doi. 10.1093/jigpal/6.2.175
- By:
- Publication type:
- Article
5
Deducibility and exactness.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 341, doi. 10.1093/jigpal/6.2.341
- By:
- Publication type:
- Article
6
Unifying program construction and modification.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 317, doi. 10.1093/jigpal/6.2.317
- By:
- Publication type:
- Article
7
A relational model for temporal logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 157, doi. 10.1093/jigpal/6.2.157
- By:
- Publication type:
- Article
8
Relational treatment of term graphs with bound variables.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 259, doi. 10.1093/jigpal/6.2.259
- By:
- Publication type:
- Article
9
Editorial.
- Published in:
- 1998
- By:
- Publication type:
- Editorial
10
Some classes containing a fork algebra equivalent variety involving projections.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 203, doi. 10.1093/jigpal/6.2.203
- By:
- Publication type:
- Article
11
Representability and program construction within fork algebras.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 227, doi. 10.1093/jigpal/6.2.227
- By:
- Publication type:
- Article