Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("McCune, William")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 48

  • Page / 2
Export

Selection :

  • and

Automated deduction - CADE-14 (Townsville, July 13-17, 1997)McCune, William.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63104-6, XIV, 462 p, isbn 3-540-63104-6Conference Proceedings

MINLOG : A minimal logic theorem proverSLANEY, J.Lecture notes in computer science. 1997, pp 268-271, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Nuprl-Light : An implementation framework for higher-order logicsHICKEY, J. J.Lecture notes in computer science. 1997, pp 395-399, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Some pitfalls of LK-to-LJ translations and how to avoid themEGLY, U.Lecture notes in computer science. 1997, pp 116-130, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Alternating automata : Unifying truth and validity checking for temporal logicsVARDI, M. Y.Lecture notes in computer science. 1997, pp 191-206, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Evolving combinatorsFUCHS, M.Lecture notes in computer science. 1997, pp 416-430, issn 0302-9743, isbn 3-540-63104-6Conference Paper

The Char-Set method and its applications to automated reasoningWEN-TSÜN, W.Lecture notes in computer science. 1997, pp 1-3, issn 0302-9743, isbn 3-540-63104-6Conference Paper

A classification of non-liftable orders for resolutionDE NIVELLE, H.Lecture notes in computer science. 1997, pp 336-350, issn 0302-9743, isbn 3-540-63104-6Conference Paper

A practical implementation of simple consequence relations using inductive definitionsMATTHEWS, S.Lecture notes in computer science. 1997, pp 306-320, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Automatic verification of cryptographic protocols with SETHEOSCHUMANN, J.Lecture notes in computer science. 1997, pp 87-100, issn 0302-9743, isbn 3-540-63104-6Conference Paper

SATO : An efficient propositional proverZHANG, H.Lecture notes in computer science. 1997, pp 272-275, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Lemma matching for a PTTP-based top-down theorem proverIWANUMA, K.Lecture notes in computer science. 1997, pp 146-160, issn 0302-9743, isbn 3-540-63104-6Conference Paper

The clause-diffusion theorem prover Peers-mcd (system description)BONACINA, M. P.Lecture notes in computer science. 1997, pp 53-56, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Constructing a normal form for Property TheoryCRYAN, M; RAMSAY, A.Lecture notes in computer science. 1997, pp 237-251, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Hybrid interactive theorem proving using Nuprl and HOLFELTY, A. P; HOWE, D. J.Lecture notes in computer science. 1997, pp 351-365, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Soft typing for ordered resolutionGANZINGER, H; MEYER, C; WEIDENBACH, C et al.Lecture notes in computer science. 1997, pp 321-335, issn 0302-9743, isbn 3-540-63104-6Conference Paper

A new method for testing decision procedures in modal logicsGIUNCHIGLIA, F; ROVERI, M; SEBASTIANI, R et al.Lecture notes in computer science. 1997, pp 264-267, issn 0302-9743, isbn 3-540-63104-6Conference Paper

CODE : A powerful prover for problems of condensed detachmentFUCHS, D; FUCHS, M.Lecture notes in computer science. 1997, pp 260-263, issn 0302-9743, isbn 3-540-63104-6Conference Paper

ILF-SETHEO processing model elimination proofs for natural language outputWOLF, A; SCHUMANN, J.Lecture notes in computer science. 1997, pp 61-64, issn 0302-9743, isbn 3-540-63104-6Conference Paper

SETHEO goes software engineering : Application of ATP to software reuseFISCHER, B; SCHUMANN, J. M. P.Lecture notes in computer science. 1997, pp 65-68, issn 0302-9743, isbn 3-540-63104-6Conference Paper

The tableau browser SNARKSKETTNER, M; EISINGER, N.Lecture notes in computer science. 1997, pp 408-411, issn 0302-9743, isbn 3-540-63104-6Conference Paper

XBarnacle : Making theorem provers more accessibleLOWE, H; DUNCAN, D.Lecture notes in computer science. 1997, pp 404-407, issn 0302-9743, isbn 3-540-63104-6Conference Paper

RALL : Machine-supported proofs for relation algebraVON OHEIMB, D; GRITZNER, T. F.Lecture notes in computer science. 1997, pp 380-394, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Deciding intuitionistic propositional logic via translation into classical logicKORN, D. S; KREITZ, C.Lecture notes in computer science. 1997, pp 131-145, issn 0302-9743, isbn 3-540-63104-6Conference Paper

DiaLog : A system for dialogue logicEHRENSBERGER, J; ZINN, C.Lecture notes in computer science. 1997, pp 446-460, issn 0302-9743, isbn 3-540-63104-6Conference Paper

  • Page / 2