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
1997English

Related publications

Graph Logics With Rational Relations

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Logical Framework With Dependently Typed Records

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Typed Regions

2005English

United States Navy Galapagos Expedition, 1941, Diary, April 2-28, 1941, Typed Copy

1941English

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Architecture Conformance Checking With Description Logics

2017English

The TPTP Typed First-Order Form With Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning Typed Entailment Graphs With Global Soft Constraints

Transactions of the Association for Computational Linguistics
2018English

Dependently Typed Programming

Progress in Informatics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy