Logic and Proof in Computer Science

Advances in Knowledge Acquisition, Transfer, and Management
doi 10.4018/978-1-5225-2443-4.ch007
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IGI Global

Related search

Deontic Logic in Computer Science

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Logic in First Courses for Computer Science Majors

1995English

Proof Search in Lax Logic

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2001English

Proof Complexity of Propositional Default Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Proof Complexity of Propositional Default Logic

Archive for Mathematical Logic
PhilosophyLogic
2011English

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- Dents of Computer Science

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Computer Science and Translation

Border Crossings
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy