|
Journals in DBLP
- John T. Baldwin, Niandong Shi
Stable Generic Structures. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:1-35 [Journal]
- Solomon Feferman, Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:37-52 [Journal]
- Steffen Lempp, Yuefei Sui
An Extended Lachlan Splitting Theorem. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:53-59 [Journal]
- Thomas Schwentick
On Winning Ehrenfeucht Games and Monadic NP. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:61-92 [Journal]
- Alexandra Shlapentokh
Rational Separability over a Global Field. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:93-108 [Journal]
|