Found: 10
Select item for more details and to access through your institution.
Nonstandard methods in combinatorics and theoretical computer science.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 181, doi. 10.1007/BF00370549
- By:
- Publication type:
- Article
Stability of weak second-order semantics.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 193, doi. 10.1007/BF00370550
- By:
- Publication type:
- Article
A faithful embedding of parallel computations in star-finite models.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 203, doi. 10.1007/BF00370551
- By:
- Publication type:
- Article
Arithmetical completeness versus relative completeness.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 213, doi. 10.1007/BF00370552
- By:
- Publication type:
- Article
Nonstandard combinatorics.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 221, doi. 10.1007/BF00370553
- By:
- Publication type:
- Article
A finite model theorem for the propositional μ-calculus.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 233, doi. 10.1007/BF00370554
- By:
- Publication type:
- Article
Sequences in countable nonstandard models of the natural numbers.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 243, doi. 10.1007/BF00370555
- By:
- Publication type:
- Article
Some nonstandard methods in combinatorial number theory.
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 265, doi. 10.1007/BF00370556
- By:
- Publication type:
- Article
Is 'some-other-time' sometimes better than 'sometime' for proving partial correctness of programs?
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 279, doi. 10.1007/BF00370557
- By:
- Publication type:
- Article
Nonstandard analysis and constructivism?
- Published in:
- Studia Logica, 1988, v. 47, n. 3, p. 303, doi. 10.1007/BF00370558
- By:
- Publication type:
- Article