×

zbMATH — the first resource for mathematics

Found 57 Documents (Results 1–57)

100
MathJax
Governatori, Guido (ed.) et al., Advances in modal logic. Vol. 6. Selected papers from the 6th conference (AiML 2006), Noosa, Australia, September 25–28, 2006. London: College Publications (ISBN 1-904987-20-6/pbk). 209-225 (2006).
PDF BibTeX XML Cite
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 320-336 (1999).
MSC:  03F52 03B70
PDF BibTeX XML Cite
Retoré, Christian (ed.), Logical aspects of computational linguistics. 1st international conference, LACL ’96, Nancy, France, September 23–25, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1328, 96-117 (1997).
PDF BibTeX XML Cite
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 11 p. (1996).
MSC:  03F07 03B20
PDF BibTeX XML Cite
Full Text: Link
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 8 p. (1996).
MSC:  03B20 03B25
PDF BibTeX XML Cite
Full Text: Link
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 11 p. (1996).
PDF BibTeX XML Cite
Full Text: Link
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 11 p. (1996).
MSC:  03F05 03B20 18A23
PDF BibTeX XML Cite
Full Text: Link
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 271-296 (1995).
Reviewer: G.Mints (Stanford)
MSC:  03F07
PDF BibTeX XML Cite
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 43-59 (1995).
MSC:  03G30 03F03 68Q42
PDF BibTeX XML Cite
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 207-237 (1994).
MSC:  03B47 03F05 03G15
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software