×

Found 49 Documents (Results 1–49)

Ramsey theory and partially ordered sets. (English) Zbl 0930.06006

Graham, Ronald L. (ed.) et al., Contemporary trends in discrete mathematics. From DIMACS and DIMATIA to the future. Proceedings of the DIMATIA-DIMACS conference, Štiřín Castle, Czech Republic, May 19–25, 1997. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 49, 337-347 (1999).
MSC:  06A07 05D10 05C35
PDFBibTeX XMLCite

Type grammar revisited. (English) Zbl 0934.03043

Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22-24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 1-27 (1999).
MSC:  03B65 20M35 03B47
PDFBibTeX XMLCite

Building models of linear logic. (Extended abstract). (English) Zbl 0926.03082

Haeberer, Armando Martín (ed.), Algebraic methodology and software technology. 7th international conference, AMAST ’98, Amazonia, Brazil, January 4–8, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1548, 164-177 (1999).
PDFBibTeX XMLCite

Optimal antichains and ideals in Macaulay posets. (English) Zbl 0924.06008

Lovász, L. (ed.) et al., Graph theory and combinatorial biology. Based on talks and discussions of the international colloquium on combinatorics and graph theory, Balatonlelle, Hungary, July 1996. Budapest: János Bolyai Mathematical Society. Bolyai Soc. Math. Stud. 7, 199-222 (1999).
MSC:  06A11 05D05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software