×

Found 32 Documents (Results 1–32)

The better bubbling lemma. (English) Zbl 1277.03016

Jouannaud, Jean-Pierre (ed.) et al., Proceedings of the second international workshop on developments in computational models (DCM 2006), Venice, Italy, July 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 171, No. 3, 77-84 (2007).
MSC:  03B47
PDFBibTeX XMLCite
Full Text: DOI

Kripke, Belnap, Urquhart and relevant decidability \(\&\) complexity. “Das ist nicht Mathematik. Das ist Theologie”. (English) Zbl 0939.03026

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 224-240 (1999).
MSC:  03B47 03B25 03-02
PDFBibTeX XMLCite

Directions in relevant logic. (English) Zbl 0731.03014

Reason and Argument, 1. Dordrecht etc.: Kluwer Academic Publishers. xii, 453 p. Dfl. 225.00; £72.00; $ 112.00 (1989).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software