ITA
ENG

Results: << | 201-225 | 226-250 | 251-275 | 276-290

Articles table of contents

Results : 251-275/290

Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study

Authors: R.J.Hall

Journal: Journal of automated reasoning

Citation: R.j.hall, Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study, Journal of automated reasoning , 8(3), 1992, pp. 367-394

A Type-Theoretic interpretation of constructive Domain Theory

Authors: M.Hedberg

Journal: Journal of automated reasoning

Citation: M.hedberg, A Type-Theoretic interpretation of constructive Domain Theory, Journal of automated reasoning , 16(3), 1996, pp. 369-425

Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability

Authors: J.J.Lu,V.S.Subrahmanian

Journal: Journal of automated reasoning

Citation: J.j.lu,v.s.subrahmanian, Completeness Issues in RUE-NRF Deduction: The Undecidability of Viability, Journal of automated reasoning , 10(3), 1993, pp. 371-389

Nicolog: A Simple Yet Powerful cc(FD) Language

Authors: G.Sidebottom,W.S.Havens

Journal: Journal of automated reasoning

Citation: G.sidebottom,w.s.havens, Nicolog: A Simple Yet Powerful cc(FD) Language, Journal of automated reasoning , 17(3), 1996, pp. 371-403

The CADE-16 ATP System Competition

Authors: G.Sutcliffe

Journal: Journal of automated reasoning

Citation: G.sutcliffe, The CADE-16 ATP System Competition, Journal of automated reasoning , 24(3), 2000, pp. 371-396

On Fourier's Algorithm for Linear Arithmetic Constraints

Authors: J.L.Lassez,M.J.Maher

Journal: Journal of automated reasoning

Citation: J.l.lassez,m.j.maher, On Fourier's Algorithm for Linear Arithmetic Constraints, Journal of automated reasoning , 9(3), 1992, pp. 373-380

some Lambda Calculus and Type Theory Formalized

Authors: J.McKinna,R.Pollack

Journal: Journal of automated reasoning

Citation: J.mckinna,r.pollack, some Lambda Calculus and Type Theory Formalized, Journal of automated reasoning , 23(3/4), 1999, pp. 373-409

Automated Reasoning With Analytic Tableaux: A Tableau Prover for Domain Minimization

Authors: S.Lorentz

Journal: Journal of automated reasoning

Citation: S.lorentz, Automated Reasoning With Analytic Tableaux: A Tableau Prover for Domain Minimization, Journal of automated reasoning , 13(3), 1994, pp. 375-390

Decidability by Resolution for Propositional Modal

Authors: R.A.Schmidt

Journal: Journal of automated reasoning

Citation: R.a.schmidt, Decidability by Resolution for Propositional Modal, Journal of automated reasoning , 22(4), 1999, pp. 379-396

Well-Behaved inference Rules for First-Order Theorem Proving

Authors: J.Wu,Z.Liu

Journal: Journal of automated reasoning

Citation: J.wu,z.liu, Well-Behaved inference Rules for First-Order Theorem Proving, Journal of automated reasoning , 21(3), 1998, pp. 381-400

A Note on the Parallel Complexity of Anti-Unification

Authors: G.M.Kuper,K.W.McAloon,K.V.Palem

Journal: Journal of automated reasoning

Citation: G.m.kuper,k.w.mcaloon,k.v.palem, A Note on the Parallel Complexity of Anti-Unification, Journal of automated reasoning , 9(3), 1992, pp. 381-390

Single Axioms for Odd Exponent Groups

Authors: J.Hart,K.Kunen

Journal: Journal of automated reasoning

Citation: J.hart,k.kunen, Single Axioms for Odd Exponent Groups, Journal of automated reasoning , 14(3), 1995, pp. 383-412

Reduction and Unification in Lambda Calculi with a General Notion of Subtype

Authors: Z.Qian,T.Nipkow

Journal: Journal of automated reasoning

Citation: Z.qian,t.nipkow, Reduction and Unification in Lambda Calculi with a General Notion of Subtype, Journal of automated reasoning , 12(3), 1994, pp. 389-406

Simplification Orderings: Putting Them to the Test

Authors: J.Steinbach

Journal: Journal of automated reasoning

Citation: J.steinbach, Simplification Orderings: Putting Them to the Test, Journal of automated reasoning , 10(3), 1993, pp. 389-398

Efficient Parallel Term Matching and Anti-Unification

Authors: A.L.Delcher,S.Kasif

Journal: Journal of automated reasoning

Citation: A.l.delcher,s.kasif, Efficient Parallel Term Matching and Anti-Unification, Journal of automated reasoning , 9(3), 1992, pp. 391-406

Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations

Authors: S.C.Bailin,D.Barker-Plummer

Journal: Journal of automated reasoning

Citation: S.c.bailin,d.barker-plummer, Z-mathc: An Inference Rule for Incrementally Elaborating Set Istantiations, Journal of automated reasoning , 11(3), 1993, pp. 391-428

Automated Reasoning With Analytic Tableaux: The Saturated Tableaux for Linear Miniscoped Horn-Like Temporal Logic

Authors: R.Pliuskevicius

Journal: Journal of automated reasoning

Citation: R.pliuskevicius, Automated Reasoning With Analytic Tableaux: The Saturated Tableaux for Linear Miniscoped Horn-Like Temporal Logic, Journal of automated reasoning , 13(3), 1994, pp. 391-408

Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems

Authors: M.F.Russo,R.L.Peskin

Journal: Journal of automated reasoning

Citation: M.f.russo,r.l.peskin, Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly Perturbed Boundary Value Problems, Journal of automated reasoning , 8(3), 1992, pp. 395-420

New Worst-Case Upper Bounds for SAT

Authors: E.A.Hirsch

Journal: Journal of automated reasoning

Citation: E.a.hirsch, New Worst-Case Upper Bounds for SAT, Journal of automated reasoning , 24(4), 2000, pp. 397-420

SPS-Parallelism+SETHEO=SPTHEO

Authors: C.B.Suttner

Journal: Journal of automated reasoning

Citation: C.b.suttner, SPS-Parallelism+SETHEO=SPTHEO, Journal of automated reasoning , 22(4), 1999, pp. 397-431

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning

Authors: C.R.Baral

Journal: Journal of automated reasoning

Citation: C.r.baral, Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning, Journal of automated reasoning , 10(3), 1993, pp. 399-420

Coloring Terms to Control Ewuational Reasoning

Authors: D.Hutter

Journal: Journal of automated reasoning

Citation: D.hutter, Coloring Terms to Control Ewuational Reasoning, Journal of automated reasoning , 18(3), 1997, pp. 399-442

Basic Research Problems: The Problem of Hyperparamodulation and Nuclei

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Basic Research Problems: The Problem of Hyperparamodulation and Nuclei, Journal of automated reasoning , 12(3), 1994, pp. 407-410

Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries

Authors: L.Wos

Journal: Journal of automated reasoning

Citation: L.wos, Basic Researc Problems: The Problem of Demodulating across Argument and Literal Boundaries, Journal of automated reasoning , 9(3), 1992, pp. 407-412

Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations

Authors: j.Schumann

Journal: Journal of automated reasoning

Citation: J.schumann, Automated Reasoning With Analytic Tableaux: Tableau-based Theorem Provers: Systems and Implementations, Journal of automated reasoning , 13(3), 1994, pp. 409-422

Results: << | 201-225 | 226-250 | 251-275 | 276-290