×

Found 66 Documents (Results 1–66)

Lean induction principles for tableaux. (English) Zbl 1415.03015

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, 62-75 (1997).
MSC:  03B35 03F30
PDFBibTeX XMLCite
Full Text: DOI

A comparison of decision procedures in Presburger arithmetic. (English) Zbl 1014.03504

Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 91-101 (1997).
MSC:  03B25 03F30
PDFBibTeX XMLCite

Hilbert’s Second Problem (the consistency of arithmetic). (Polish. English summary) Zbl 0978.01030

Wiȩsław, Witold (ed.), Hilbert’s problems. On the occasion of the fiftieth anniversary of the death of their creator. Proceedings of the 7th All-Polish School on the history of mathematics, Miȩdzyzdroje, Poland, May 10-14, 1993. Warsaw: Instytut Historii Nauki PAN. 27-34 (1997).
MSC:  01A60 03-03 03F30
PDFBibTeX XMLCite

The Paris-Kirby construction and complexity problems. (English) Zbl 0914.03048

Chuvakov, V. P. (ed.), Current problems of modern mathematics. Collection of scientific works. Vol. 3. Novosibirsk: NII MIOO NGU. 125-130 (1997).
PDFBibTeX XMLCite

Complexity and uniformity of elimination in Presburger arithmetic. (English) Zbl 0915.03032

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 48-53 (1997).
PDFBibTeX XMLCite

“Classical” programming-with-proofs in \(\lambda_{\text{PA}}^{\text{Sym}}\): An analysis of non-confluence. (English) Zbl 0885.03029

Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 365-390 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Biographic Reference

Software