Search results: Sage Journals

Restricted accessResearch articleFirst published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Restricted accessResearch articleFirst published April, 2000

Wendy MacCaull

Fundamenta Informaticae

Restricted accessResearch articleFirst published July, 1995

Saša Buvač, Vanja Buvač, Ian A. Mason

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 1997

Piotr Dembiński

Fundamenta Informaticae

Open accessResearch articleFirst published November 10, 2020

Paul E. Dunne

Argument & Computation

Restricted accessResearch articleFirst published 2016

Ivo Düntsch, Ewa Orłowska, Hui Wang

Fundamenta Informaticae

Restricted accessResearch articleFirst published February, 2013

Hans Langmaack, Andrzej Salwicki

Fundamenta Informaticae

Restricted accessResearch articleFirst published January, 1997

James F. Peters

Fundamenta Informaticae

Restricted accessResearch articleFirst published January 1, 1992

John McLean

Journal of Computer Security

Restricted accessResearch articleFirst published August, 2012

Christopher M. Poskitt, Detlef Plump

Fundamenta Informaticae