Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 29

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 29, Number 1, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/McCuneVFHFW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McCuneVFHFW02
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos:
Short Single Axioms for Boolean Algebra. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/jar/YahyaP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YahyaP02
Adnan H. Yahya, David A. Plaisted:
Ordered Semantic Hyper Tableaux. 17-57
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Slaney02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Slaney02
John K. Slaney:
More Proofs of an Axiom of Lukasiewicz. 59-66
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ThieleW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ThieleW02
Ruediger Thiele, Larry Wos:
Hilbert's Twenty-Fourth Problem. 67-89
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BorkarCM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BorkarCM02
Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter:
Mathematical Programming Embeddings of Logic. 91-106

Volume 29, Number 2, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/WosUF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WosUF02
Larry Wos, Dolph Ulrich, Branden Fitelson:
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. 107-124
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AmgoudC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AmgoudC02
Leila Amgoud, Claudette Cayrol:
Inferring from Inconsistency in Preference-Based Argumentation Frameworks. 125-169
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Mashevitzky02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Mashevitzky02
Grigory Mashevitzky:
Unification Types of Completely Regular Semigroups. 171-182

Volume 29, Number 3-4, 2002

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kamareddine02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kamareddine02
Fairouz Kamareddine:
Special Issue Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn - Preface. 183-188
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BancerekR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BancerekR02
Grzegorz Bancerek, Piotr Rudnicki:
A Compendium of Continuous Lattices in MIZAR. 189-224
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BertotMZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BertotMZ02
Yves Bertot, Nicolas Magaud, Paul Zimmermann:
A Proof of GMP Square Root. 225-252
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BezemHN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BezemHN02
Marc Bezem, Dimitri Hendriks, Hans de Nivelle:
Automated Proof Construction in Type Theory Using Resolution. 253-275
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hendriks02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hendriks02
Dimitri Hendriks:
Proof Reflection in Coq. 277-307
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NguyenKK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NguyenKK02
Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner:
External Rewriting for Skeptical Proof Assistants. 309-336
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PrevostoD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PrevostoD02
Virgile Prevosto, Damien Doligez:
Algorithms and Proofs Inheritancey in the FOC Language. 337-363
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wiedijk02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wiedijk02
Freek Wiedijk:
A New Implementation of Automath. 365-387
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WenzelW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WenzelW02
Markus Wenzel, Freek Wiedijk:
A Comparison of Mizar and Isar. 389-411

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.