default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 31

> 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 31, Number 1, 2003

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Veroff03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Veroff03
Robert Veroff:
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. 1-9
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HaiSY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HaiSY03
Hai Lin, Jigui Sun, Yimin Zhang:
Theorem Proving Based on the Extension Rule. 11-21
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SutcliffeS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SutcliffeS03
Geoff Sutcliffe, Christian B. Suttner:
The CADE-18 ATP System Competition. 23-32
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DowekHK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DowekHK03
Gilles Dowek, Thérèse Hardin, Claude Kirchner:
Theorem Proving Modulo. 33-72
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GentiliniPP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GentiliniPP03
Raffaella Gentilini, Carla Piazza, Alberto Policriti:
From Bisimulation to Simulation: Coarsest Partition Problems. 73-103

Volume 31, Number 2, 2003

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kapur03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kapur03
Deepak Kapur:
Announcement. 105-105
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ManoliosM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ManoliosM03
Panagiotis Manolios, J Strother Moore:
Partial Functions in ACL2. 107-127
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BachmairTV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BachmairTV03
Leo Bachmair, Ashish Tiwari, Laurent Vigneron:
Abstract Congruence Closure. 129-168
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Andrews03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Andrews03
Peter B. Andrews:
Herbrand Award Acceptance Speech. 169-187

Volume 31, Number 3-4, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Felty03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Felty03
Amy P. Felty:
Preface. 189-190
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HamidSTMN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HamidSTMN03
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni:
A Syntactic Approach to Foundational Proof-Carrying Code. 191-229
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AppelMSV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AppelMSV03
Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga:
A Trustworthy Proof Checker. 231-260
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AspinallC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AspinallC03
David Aspinall, Adriana B. Compagnoni:
Heap-Bounded Assembly Language. 261-302
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Rose03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Rose03
Eva Rose:
Lightweight Bytecode Verification. 303-334
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RielyH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RielyH03
James Riely, Matthew Hennessy:
Trust and Partial Typing in Open Systems of Mobile Agents. 335-370

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.