First Page | Document Content | |
---|---|---|
![]() Date: 2003-09-08 16:17:32Knowledge representation Logic Logic programming Curry–Howard correspondence Constructible universe Forcing Computer science Conjugate element Mathematical logic Mathematics Belief revision | Add to Reading List |
![]() | Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at DresdenDocID: 1qEWJ - View Document |
![]() | ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit LeidenDocID: 1px1U - View Document |
![]() | Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010DocID: 1p1EO - View Document |
![]() | A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6DocID: 15vzJ - View Document |
![]() | Beta-conjugates On the Rényi-Parry numeration dynamical system and a germ of curve Jean-Louis Verger-Gaugry Institut FourierDocID: 10Jho - View Document |