WorldCat Identities

Leitsch, Alexander 1952-

Overview
Works: 20 works in 82 publications in 4 languages and 1,645 library holdings
Genres: Conference proceedings 
Roles: Author, Editor
Classifications: QA76.9.A96, 511.3
Publication Timeline
.
Most widely held works by Alexander Leitsch
Methods of cut-elimination by Matthias Baaz( )

13 editions published in 2011 in English and held by 391 WorldCat member libraries worldwide

This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\"utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. M
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings by G Gottlob( Book )

14 editions published in 1993 in English and Italian and held by 323 WorldCat member libraries worldwide

"The Third Kurt G
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by G Gottlob( Book )

14 editions published between 1993 and 1997 in English and held by 307 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 5th Kurt Gdel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings by IJCAR 2001( Book )

6 editions published in 2001 in English and held by 209 WorldCat member libraries worldwide

The resolution calculus by Alexander Leitsch( Book )

7 editions published between 1997 and 2012 in English and German and held by 204 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 Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-22, 2001 Proceedings by Rajeev Goré( )

10 editions published in 2001 in English and held by 103 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together with three invited contributions were carefully reviewed and selected from a total of 112 submissions. The book offers topical sections on 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, and interactive theorem proving; equational theorem proving and term rewriting; tableau, sequent, and natural deduction calculi and proof theory; automata, specification, verification, and logics of programs; and nonclassical logics
Automated model building by Ricardo Caferra( Book )

5 editions published between 2004 and 2011 in English and held by 87 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
How to acknowledge hypercomputation? by Alexander Leitsch( )

1 edition published in 2007 in English and held by 3 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

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

Methods of Cut-Elimination( )

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

Computational Logic and Proof Theory 5th Kurt Gdel Colloquium, KGC '97 Vienna, Austria, August 2529, 1997 Proceedings( )

1 edition published in 1997 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

Trends in industrial and applied mathematics : proceedings of the 1 by Alexander Leitsch( Book )

1 edition published in 2012 in English and held by 2 WorldCat member libraries 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

Computational logic and proof theory : Third Kurt G©œdel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings by Kurt G©œdel Colloquium( Book )

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

Automated reasoning First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings by IJCAR 2001 (Conference)( )

1 edition published in 2001 in English 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

Buržuaziskā Latvija ārzemju kapitala jūgā <1921-1929> by A Leitsmann( Book )

1 edition published in 1957 in Latvian 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.81 (from 0.00 for Computatio ... to 0.90 for Automated ...)

Alternative Names
Leitsch, Alexander

Languages
Covers
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedingsComputational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedingsAutomated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedingsThe resolution calculusAutomated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-22, 2001 ProceedingsAutomated model buildingComputational 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 : proceedings