Jan Zwanenburg

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c6		Freek Wiedijk, Jan Zwanenburg: First Order Logic with Domain Conditions. TPHOLs 2003: 221-237
	2002
j2		Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg: A Constructive Algebraic Hierarchy in Coq. J. Symb. Comput. 34(4): 271-286 (2002)
	2001
j1		Erik Poll, Jan Zwanenburg: From Algebras and Coalgebras to Dialgebras. Electr. Notes Theor. Comput. Sci. 44(1): 289-307 (2001)
	2000
c5		Herman Geuvers, Freek Wiedijk, Jan Zwanenburg: Equational Reasoning via Partial Reflection. TPHOLs 2000: 162-178
c4		Herman Geuvers, Freek Wiedijk, Jan Zwanenburg: A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. TYPES 2000: 96-111
	1999
c3		Herman Geuvers, Erik Poll, Jan Zwanenburg: Safe Proof Checking in Type Theory with Y. CSL 1999: 439-452
c2		Erik Poll, Jan Zwanenburg: A Logic for Abstract Data Types as Existential Types. TLCA 1999: 310-324
c1		Jan Zwanenburg: Pure Type Systems with Subtyping. TLCA 1999: 381-396

Coauthor Index

Last update Wed May 22 03:04:05 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page