Completeness Proofs for Some Logics of Programs.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. 49, doi. 10.1002/malq.19820280402
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1982 AND VI 28 AND IP 4-7
Results: 6
1
2
How to Eliminate Quantifiers in the Elementary Theory of p-Rings.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. 83, doi. 10.1002/malq.19820280406
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. fmi, doi. 10.1002/malq.19820280401
- Publication type:
- Article
4
Elimination of Cardinality Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. 75, doi. 10.1002/malq.19820280405
- By:
- Publication type:
- Article
5
Transitivitätsbedingungen.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. 67, doi. 10.1002/malq.19820280404
- By:
- Publication type:
- Article
6
On the o-Category of Finite Chains.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 4-7, p. 63, doi. 10.1002/malq.19820280403
- By:
- Publication type:
- Article