×

Found 14 Documents (Results 1–14)

Free variables and theories: revisiting rigid \(E\)-unification. (English) Zbl 1471.68301

Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 3-13 (2015).
MSC:  68V15 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A practical integration of first-order reasoning and decision procedures. (English) Zbl 1430.03037

McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 101-115 (1997).
MSC:  03B35 68Q60 68V15
PDFBibTeX XMLCite
Full Text: DOI

On quasitautologies. (English) Zbl 1415.03024

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 231-245 (1997).
MSC:  03B35 03B10 03B25
PDFBibTeX XMLCite
Full Text: DOI

Monadic simultaneous rigid \(E\)-unification and related problems. (English) Zbl 1401.03037

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 154-165 (1997).
PDFBibTeX XMLCite
Full Text: DOI

What you always wanted to know about rigid \(E\)-unification. (English) Zbl 1427.03032

Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 50-69 (1996).
MSC:  03B35 68V15
PDFBibTeX XMLCite
Full Text: DOI

Proof-search in intuitionistic logic with equality, or back to simultaneous rigid \(E\)-unification. (English) Zbl 1415.03011

McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 32-46 (1996).
MSC:  03B20 03B35
PDFBibTeX XMLCite
Full Text: DOI

Incremental theory reasoning methods for semantic tableaux. (English) Zbl 1412.68208

Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 93-109 (1996).
MSC:  68T15 03B35
PDFBibTeX XMLCite
Full Text: DOI Link

Cyclic connections. (English) Zbl 1415.03017

Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 80-92 (1996).
MSC:  03B35 03B44 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software