Biblioteca Digital

14 resultados para Logic programming

em CUNY Academic Works

TR-2002010: Programming Finite-Domain Constraint Propagators in Action Rules

Relevância:

20.00% 20.00%

Publicador:

TR-2003003: Finite Information Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2003007: On the Complexity of the Reflected Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003012: A Semantics for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems

Relevância:

20.00% 20.00%

Publicador:

TR-2004001: Tableaux for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2004003: Intuitionistic Logic with Classical Atoms

Relevância:

20.00% 20.00%

Publicador:

TR-2004011: Logic of Knowledge with Justifications from the Provability Perspective

Relevância:

20.00% 20.00%

Publicador:

TR-2005002: The Basic Intuitionistic Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

20.00% 20.00%

Publicador:

TR-2005011: Logic of Proofs for Bounded Arithmetic

Relevância:

20.00% 20.00%

Publicador:

TR-2005013: Typing in Reflective Combinatory Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2006003: Explicit Proofs in Formal Provability Logic

Relevância:

20.00% 20.00%

Publicador: