Works matching IS 09425616 AND DT 1989 AND VI 35 AND IP 4
Results: 11
Hyperidentities of Dyadic Algebras.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 303, doi. 10.1002/malq.19890350403
- By:
- Publication type:
- Article
A Linear Parsing Algorithm For Parenthesis Terms.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 359, doi. 10.1002/malq.19890350408
- By:
- Publication type:
- Article
Rosser Orderings in Bimodal Logics.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 343, doi. 10.1002/malq.19890350407
- By:
- Publication type:
- Article
The Rank Function and Hilbert'S Second ϵ-Theorem.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 367, doi. 10.1002/malq.19890350410
- By:
- Publication type:
- Article
A Contiguous Nonbranching Degree.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 375, doi. 10.1002/malq.19890350411
- By:
- Publication type:
- Article
Nondeterministic Ω-Computations and the Analytical Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 333, doi. 10.1002/malq.19890350406
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. fmi, doi. 10.1002/malq.19890350401
- Publication type:
- Article
Finitary Algebraic Logic.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 321, doi. 10.1002/malq.19890350405
- By:
- Publication type:
- Article
A Cut-Free Calculus For Dummett's LC Quantified.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 289, doi. 10.1002/malq.19890350402
- By:
- Publication type:
- Article
A Logic For Distributed Processes.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 311, doi. 10.1002/malq.19890350404
- By:
- Publication type:
- Article
Partitions with no Coarsenings of Higher Degree.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 4, p. 363, doi. 10.1002/malq.19890350409
- By:
- Publication type:
- Article