WorldCat Identities

Leitsch, Alexander 1952-

Overview
Works: 15 works in 99 publications in 4 languages and 1,914 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.9.A96, 511.3
Publication Timeline
.
Most widely held works by Alexander Leitsch
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings by G Gottlob( Book )

35 editions published between 1993 and 2007 in English and Italian and held by 490 WorldCat member libraries worldwide

"The Third Kurt G
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings by Rajeev Goré( Book )

21 editions published in 2001 in English and held by 221 WorldCat member libraries worldwide

Description, modal, and temporal logics - Saturation based theorem proving, applications, and data structures - Logic programming and nonmonotonic reasoning - Propositional satisfiability and quantified boolean logic - Logical frameworks, higher-order logic, interactive theorem proving - Semantic guidance - Equational theorem proving and term rewriting - Tableau, sequent, natural deduction calculi, and proof theory - Automata, specification, verification, and logics of programs - Nonclassical logics
The resolution calculus by Alexander Leitsch( Book )

12 editions published between 1996 and 2012 in English and German and held by 202 WorldCat member libraries worldwide

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The first part deals with the traditional topics (Herbrand's theorem, completeness of resolution, refinements and deletion) but with many new features and concepts like normalization of clauses, resolution operators, and search complexity. Building on this foundation, the second part gives a systematic treatment of recent research topics. It is shown how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. The complexity of resolution is analyzed in terms of Herbrand complexity, and new concepts like ground projection are used to classify the complexity of refinements. Finally, the method of functional extension is introduced; combined with resolution it gives a computational calculus which is stronger than most others
Automated model building by Ricardo Caferra( Book )

7 editions published between 2004 and 2011 in English and held by 79 WorldCat member libraries worldwide

This is the first book on automated model building, a discipline of automated deduction that is of growing importance. Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning. The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors. Finite and infinite model building techniques are presented. The main emphasis is on calculi-based methods, and relevant practical results are provided. The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence. It can also be used as a textbook in advanced undergraduate courses
Methods of cut-elimination by Matthias Baaz( Book )

14 editions published in 2011 in English and held by 44 WorldCat member libraries worldwide

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES-to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic
Computational Logic and Proof Theory Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24-27, 1993 Proceedings by G Gottlob( )

1 edition published in 1993 in English and held by 29 WorldCat member libraries worldwide

Computational logic and proof theory : 3rd Kurt Godel colloquium : Preprinted papers( )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Resolution theorem proving by Alexander Leitsch( Book )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Computational logic and proof theory : third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic ... 1993 : proceedings by Kurt Gödel Colloquium( )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Buržuaziskā Latvija ārzemju kapitala jūgā, 1921-1929 by Alexander Leitsch( Book )

1 edition published in 1957 in Latvian and held by 1 WorldCat member library worldwide

Cut-elimination in Classical and Nonclassical Logic( Book )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Computational logic and proof theory - KCG '93 : third Kürt Gödel colloquium [held at] Brno, Czech Republic, August 24-27 1993 ; proceedings by Kurt Gödel Colloquium( Book )

1 edition published in 1993 in English and held by 1 WorldCat member library worldwide

Extension methods in automated deduction by Matthias Baaz( )

1 edition published in 2000 in English and held by 1 WorldCat member library worldwide

Methods of Cut-Elimination( )

1 edition published in 2011 in English and held by 0 WorldCat member libraries worldwide

How to acknowledge hypercomputation? by Alexander Leitsch( )

1 edition published in 2007 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.48 for Methods of ... to 1.00 for Methods of ...)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedingsComputational logic and proof theory : 3rd Kurt Godel colloquium : Preprinted papersComputational logic and proof theory : third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic ... 1993 : proceedingsComputational logic and proof theory - KCG '93 : third Kürt Gödel colloquium [held at] Brno, Czech Republic, August 24-27 1993 ; proceedings
Alternative Names
Leitsch, Alexander

Languages
Covers
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedingsThe resolution calculusAutomated model buildingMethods of cut-eliminationComputational logic and proof theory : 3rd Kurt Godel colloquium : Preprinted papersComputational logic and proof theory : third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic ... 1993 : proceedingsComputational logic and proof theory - KCG '93 : third Kürt Gödel colloquium [held at] Brno, Czech Republic, August 24-27 1993 ; proceedings