Search the dblp DataBase
Jaap van Oosten :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jaap van Oosten Topological Aspects of Traces. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1996, pp:480-496 [Conf ] Martin Hofmann , Jaap van Oosten , Thomas Streicher Well-foundedness in Realizability. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2006, v:45, n:7, pp:795-805 [Journal ] Lars Birkedal , Jaap van Oosten Relative and modified relative realizability. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2002, v:118, n:1-2, pp:115-132 [Journal ] Jaap van Oosten Axiomatizing Higher-Order Kleene Realizability. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:87-111 [Journal ] Jaap van Oosten Extensional Realizability. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1997, v:84, n:3, pp:317-349 [Journal ] Jaap van Oosten , Alex K. Simpson Axioms and (counter) examples in synthetic domain theory. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:233-278 [Journal ] Jaap van Oosten , Harold Schellinx Preface. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:1-2 [Journal ] Lars Birkedal , Jaap van Oosten , Giuseppe Rosolini , Dana S. Scott Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal ] Jaap van Oosten History and Developments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:1, pp:- [Journal ] Jaap van Oosten , Alex K. Simpson Some axiomatic results in synthetic domain theory. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal ] Jaap van Oosten Lifschitz' Realizability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1990, v:55, n:2, pp:805-821 [Journal ] Jaap van Oosten Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:3, pp:964-973 [Journal ] Jaap van Oosten Two Remarks on the Lifschitz Realizability Topos. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1996, v:61, n:1, pp:70-79 [Journal ] Jaap van Oosten Realizability: A Historical Essay. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2002, v:12, n:3, pp:239-263 [Journal ] Search in 0.001secs, Finished in 0.002secs