Results : 201-225/290
Authors:
K.Kunen
Journal: Journal of automated reasoning
Citation: K.kunen, Single Axioms for Groups, Journal of automated reasoning , 9(3), 1992, pp. 291-308
Authors:
L.C.Paulson,K.Grabczewski
Journal: Journal of automated reasoning
Citation: L.c.paulson,k.grabczewski, Mechanizing Set Theory, Journal of automated reasoning , 17(3), 1996, pp. 291-323
Authors:
W.W.Bledsoe,G.Feng
Journal: Journal of automated reasoning
Citation: W.w.bledsoe,g.feng, Studies in Automated Reasoning: SET-VAR, Journal of automated reasoning , 11(3), 1993, pp. 293-314
Authors:
D.Kapur,G.Sivakumar,H.Zhang
Journal: Journal of automated reasoning
Citation: D.kapur,g.sivakumar,h.zhang, A Path Ordering for Proving Termination of AC Rewrite Systems, Journal of automated reasoning , 14(2), 1995, pp. 293-316
Authors:
A.Bauer,E.Clarke,X.Zhao
Journal: Journal of automated reasoning
Citation: A.bauer,e.clarke,x.zhao, Analytica-An Experiment in Combining Theorem Proving and Symbolic Computation, Journal of automated reasoning , 21(3), 1998, pp. 295-325
Authors:
J.C.Shepherdson
Journal: Journal of automated reasoning
Citation: J.c.shepherdson, SLDNF-Resolution with Equality, Journal of automated reasoning , 8(2), 1992, pp. 297-306
Authors:
R.Lentz,K.Mayr,C.Goller
Journal: Journal of automated reasoning
Citation: R.lentz,k.mayr,c.goller, Automated Reasoning With Analytic Tableaux: Controller Integration of the Cut Rule into Connection Tableau Calculi, Journal of automated reasoning , 13(3), 1994, pp. 297-338
Authors:
P.Balsinger,A.Heuerding,S.Schwendimann
Journal: Journal of automated reasoning
Citation: P.balsinger,a.heuerding,s.schwendimann, A Benchmark Method for the Propositional Modal Logics K, KT, S4, Journal of automated reasoning , 24(3), 2000, pp. 297-317
Authors:
P.Doherty,W.Lukaszewicz,A.Szalas
Journal: Journal of automated reasoning
Citation: P.doherty,w.lukaszewicz,a.szalas, Computing Cicumscription Revisited: A Reduction Algorithm, Journal of automated reasoning , 18(3), 1997, pp. 297-336
Authors:
W.Narraschewski,T.Nipkow
Journal: Journal of automated reasoning
Citation: W.narraschewski,t.nipkow, Type Inference Verified: Algorithm W in Isabelle/HOL, Journal of automated reasoning , 23(3/4), 1999, pp. 299-318
Authors:
L.Raschid,J.Lobo
Journal: Journal of automated reasoning
Citation: L.raschid,j.lobo, A Semantics for a Procedure to Prove Statements in Differential Geometry, Journal of automated reasoning , 12(3), 1994, pp. 305-350
Authors:
L.Wos
Journal: Journal of automated reasoning
Citation: L.wos, The problem of Choosing Between Using and Avoiding Equality Predicates, Journal of automated reasoning , 8(2), 1992, pp. 307-309
Authors:
A.Avron,F.Honsell,I.A.Mason,R.Polack
Journal: Journal of automated reasoning
Citation: A.avron,f.honsell,i.a.mason,r.polack, Using Typed Lambda Calculus to Implement Formal Systems on a Machine, Journal of automated reasoning , 9(3), 1992, pp. 309-354
Authors:
D.Barker-Plummer
Journal: Journal of automated reasoning
Citation: D.barker-plummer, Gazing: An Approach to the Problem of Definition and Lemma Use, Journal of automated reasoning , 8(3), 1992, pp. 311-344
Authors:
J.G.F.Belinfante
Journal: Journal of automated reasoning
Citation: J.g.f.belinfante, Computer Proofs in Godel's Class Theory with Equational Definitions for Composite and Cross, Journal of automated reasoning , 22(3), 1999, pp. 311-339
Authors:
R.Overbeek
Journal: Journal of automated reasoning
Citation: R.overbeek, The CADE-11 Competiotions: A Personal View, Journal of automated reasoning , 11(3), 1993, pp. 315-316
Authors:
G.D'Agostino,A.Montanari,A.Policriti
Journal: Journal of automated reasoning
Citation: G.d'Agostino,a.montanari,a.policriti, A Set-Theoretic Translation Method for Polymodal Logics, Journal of automated reasoning , 15(3), 1995, pp. 317-337
Authors:
H.J.Ohlbach
Journal: Journal of automated reasoning
Citation: H.j.ohlbach, Elimination of Self-Resolving Clauses, Journal of automated reasoning , 20(3), 1998, pp. 317-336
Authors:
K.V.Vadaparty
Journal: Journal of automated reasoning
Citation: K.v.vadaparty, On the Complexity of Nested-Object Matching, Journal of automated reasoning , 14(2), 1995, pp. 317-323
Authors:
E.L.Lusk
Journal: Journal of automated reasoning
Citation: E.l.lusk, Uniform Strategies: The CADE-11 Theorem Proving Contest, Journal of automated reasoning , 11(3), 1993, pp. 317-332
Authors:
A.Bundy,F.Giunchiglia,A.Villafiorita,T.Walsh
Journal: Journal of automated reasoning
Citation: A.bundy,f.giunchiglia,a.villafiorita,t.walsh, Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem, Journal of automated reasoning , 19(3), 1997, pp. 319-346
Authors:
F.Massacci
Journal: Journal of automated reasoning
Citation: F.massacci, Single Step Tableaux for Modal Logics, Journal of automated reasoning , 24(3), 2000, pp. 319-364
Authors:
C.Dubois,V.Menissier-Morain
Journal: Journal of automated reasoning
Citation: C.dubois,v.menissier-morain, Certification of a Type Inference Tool for ML: Damas-Milner within Coq, Journal of automated reasoning , 23(3/4), 1999, pp. 319-346
Authors:
P.B.Andrews,M.Bishop,S.Issar,D.Nesmith,F.Pfenning,H.Xi
Journal: Journal of automated reasoning
Citation: P.b.andrews,m.bishop,s.issar,d.nesmith,f.pfenning,h.xi, TPS:A Theorem-Proving System for Classical Type Theory, Journal of automated reasoning , 16(3), 1996, pp. 321-353
Authors:
D.W.Loveland,D.W.Reed,D.S.Wilson
Journal: Journal of automated reasoning
Citation: D.w.loveland,d.w.reed,d.s.wilson, SATCHMORE:SATCHMO with REIevancy, Journal of automated reasoning , 14(2), 1995, pp. 325-351