Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Vincent Aravantinos

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Linear Temporal Logic and Propositional Schemata, Back and Forth

2011English

Related publications

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

First-Order Resolution Methods for Modal Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Completeness of the First-Order Functional Calculus

Journal of Symbolic Logic
PhilosophyLogic
1949English

Parsing Schemata for Grammars With Variable Number and Order of Constituents

2000English

A Domain-Theoretic Model for a Higher-Order Process Calculus

English

A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy