Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J van Eijck
Typed Logics With States
Logic Journal of the IGPL
Philosophy
Related publications
Graph Logics With Rational Relations
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Logical Framework With Dependently Typed Records
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Typed Regions
United States Navy Galapagos Expedition, 1941, Diary, April 2-28, 1941, Typed Copy
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Architecture Conformance Checking With Description Logics
The TPTP Typed First-Order Form With Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning Typed Entailment Graphs With Global Soft Constraints
Transactions of the Association for Computational Linguistics
Dependently Typed Programming
Progress in Informatics