default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 30

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

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Tinelli03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Tinelli03
Cesare Tinelli:
Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing. 1-31
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SantoneV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SantoneV03
Antonella Santone, Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. 33-58
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KamareddineH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KamareddineH03
Fairouz Kamareddine, Qiao Haiyan:
Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF. 59-98
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BofillGNR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BofillGNR03
Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio:
Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. 99-120

Volume 30, Number 2, February 2003

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Voronkov03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Voronkov03
Andrei Voronkov:
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. 121-151
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RusinowitchSK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RusinowitchSK03
Michaël Rusinowitch, Sorin Stratulat, Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. 53-177
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos03
Larry Wos:
The Strategy of Cramming. 179-204
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChatterjeeDC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChatterjeeDC03
Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
A Branching Time Temporal Framework for Quantitative Reasoning. 205-232

Volume 30, Numbers 3-4, 2003

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nipkow03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nipkow03
Tobias Nipkow:
Java Bytecode Verification. 233
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Leroy03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Leroy03
Xavier Leroy:
Java Bytecode Verification: Algorithms and Formalizations. 235-269
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FreundM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FreundM03
Stephen N. Freund, John C. Mitchell:
A Type System for the Java Bytecode Language and Verifier. 271-321
- view
  authority control:
- export record
  dblp key:
  - journals/jar/StarkS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/StarkS03
Robert F. Stärk, Joachim Schmid:
Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. 323-361
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KleinW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KleinW03
Gerwin Klein, Martin Wildmoser:
Verified Bytecode Subroutines. 363-398
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BasinFG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BasinFG03
David A. Basin, Stefan Friedrich, Marek Gawkowski:
Bytecode Verification by Model Checking. 399-444

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.