A proof of finite family developments for higher-order rewriting using a prefix property

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 ; organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21 - 24 September 1992
Veröffentlicht: (1993)

First-order logic an introduction
von: Cauman, Leigh S.
Veröffentlicht: (1998)

Logika a logiky systém klasické výrokové logiky, jeho rozšíření a alternativy
von: Peregrin, Jaroslav 1957-
Veröffentlicht: (2004)

Logic and proof
von: Bittinger, Marvin L.
Veröffentlicht: (1970)

A preface to logic
von: Cohen, Morris R. 1880-1947
Veröffentlicht: (1963)

A modern elementary logic
von: Stebbing, L. Susan 1885-1943
Veröffentlicht: (1961)

A preface to logic
von: Cohen, Morris R. 1880-1947
Veröffentlicht: (1949)

A modern elementary logic
von: Stebbing, L. Susan 1885-1943
Veröffentlicht: (1957)

A preface to logic
von: Cohen, Morris R. 1880-1947
Veröffentlicht: (1946)

A philosophical companion to first-order logic
Veröffentlicht: (1993)

Introducción a la lógica medieval
von: León Florido, Francisco 1955-, et al.
Veröffentlicht: (2024)

A system of logic ratiocinative and inductive, being a connected view of the principles of evidence and the methods of scientific investigation
von: Mill, John Stuart 1806-1873
Veröffentlicht: (1898)

A system of logic ratiocinative and inductive ; being a connected view of the principles of evidence and the methods of scientific investigation
von: Mill, John Stuart 1806-1873
Veröffentlicht: (1967)

A modern elementary logic Rev. by C. W. K. Mundle
von: Stebbing, L. Susan 1885-1943
Veröffentlicht: (1957)

A modern elementary logic Rev. by C. W. K. Mundle
von: Stebbing, L. Susan 1885-1943
Veröffentlicht: (1963)

A system of logic Ratiocinative and inductive. Being a connected view of the principles of evidence and the methods of scientific investigation. People's ed.
von: Mill, John Stuart 1806-1873
Veröffentlicht: (1895)

A selective bibliography of philosophical logic
von: Peacocke, Christopher 1950-
Veröffentlicht: (1978)

A logical approach to philosophy essays in honour of Graham Solomon
Veröffentlicht: (2006)

Logic inquiry, argument, and order
von: Pratt, Scott L. 1959-
Veröffentlicht: (2015)

Higher order logic and hardware verification
von: Melham, Thomas F.
Veröffentlicht: (1993)

A logic book fundamentals of reasoning
von: Johnson, Robert M.
Veröffentlicht: (1999)

A preface to logic
von: Cohen, Morris Raphael 1880-1947
Veröffentlicht: (2015)

Logisk set
von: Øhrstrøm, Peter
Veröffentlicht: (1998)

Logik und ihre Interpretation zur Differenz von syllogistischen und kFKA-Logiken
von: Horstmann, Heinrich
Veröffentlicht: (1997)

Die Festigung der Überzeugung und andere Schriften
von: Peirce, Charles S. 1839-1914
Veröffentlicht: (1985)

First-order dynamic logic
von: Harel, David 1950-
Veröffentlicht: (1979)

A companion to philosophical logic
Veröffentlicht: (2002)

A modern introduction to logic
von: Stebbing, L. Susan 1885-1943
Veröffentlicht: (1953)

Logic inquiry, argument, and order
von: Pratt, Scott L.
Veröffentlicht: (2010)

Rewriting logic and its applications 13th international workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers
Veröffentlicht: (2020)

A short introduction to the study of logic
von: Johnstone, Laurence
Veröffentlicht: (1887)

Ein Honigfaden der Logik die Grundbegriffe von der heiteren Seite
von: Fink, Hans
Veröffentlicht: (2022)

A preface to logic
von: Cohen, Morris R. 1880-1947
Veröffentlicht: (1944)

A dictionary of philosophical logic
von: Cook, Roy T. 1972-
Veröffentlicht: (2009)

A concise introduction to logic
von: Hurley, Patrick J.
Veröffentlicht: (1982)

Logic a very short introduction
von: Priest, Graham 1948-
Veröffentlicht: (2013)