# zbMATH — the first resource for mathematics

## Found 57 Documents (Results 1–57)

100
MathJax
MSC:  03B70 68
Full Text:
MSC:  03F52 03B47 03F07
Full Text:
MSC:  18D35 03G12 46B99 46L51
Full Text:
MSC:  03F52 03F07 57N05
Full Text:
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).
MSC:  03F52
Full Text:
MSC:  03B47 68Q17 03F52
Full Text:
MSC:  03F52
Full Text:
MSC:  03F52
Full Text:
MSC:  03G12 81P10 81P15
Full Text:
Cantini, Andrea (ed.) et al., Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19-25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 280, 187-194 (1999).
MSC:  03B47 03F05 03F52
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
Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 295-309 (1999).
MSC:  03F52
Ganzinger, Harald (ed.), Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1632, 1-15 (1999).
Full Text:
Larrazabal, J. M. (ed.) et al., Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9–15, 1996. Berlin: Springer. Lect. Notes Log. 12, 171-209 (1998).
MSC:  03F07 05C10 03F05
Full Text:
Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 306-311 (1997).
MSC:  03F03 03B20
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).
Brink, Chris (ed.) et al., Relational methods in computer science. Wien: Springer. Advances in Computing Science. 106-114 (1997).
MSC:  03B20 03G15
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
Full Text:
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
Full Text:
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).
Full Text:
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
Full Text:
Penczek, Wojciech (ed.) et al., Mathematical foundations of computer science 1996. 21st international symposium, MFCS ’96, Cracow, Poland, September 2-6, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1113, 195-205 (1996).
MSC:  03B20
Reviewer: R.F.Blute (Ottawa)
MSC:  03B20 03G30 03F05
Full Text:
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
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
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
Full Text:
Reviewer: G.Mints
Full Text:
Reviewer: J.D.M.Wright
Full Text:
MSC:  03B20
Full Text:
Full Text:
Reviewer: Shaw Sen-Yen
Full Text:
Full Text:
Full Text:
Quantum probability and applications to the quantum theory of irreversible processes, Proc. int. Workshop, Villa Mondragone/Italy 1982, Lect. Notes Math. 1055, 210-227 (1984).
Reviewer: Sh.A.Ayupov
Ergodic theory and related topics, Proc. Conf., Vitte/Hiddensee (GDR) 1981, Math. Res. 12, 169-172 (1982).
Full Text:
Probability theory on vector spaces II, Proc., Blazejewko/Poland 1979, Lect. Notes Math. 828, 223-233 (1980).
Full Text:

all top 5
all top 3