×

Found 14 Documents (Results 1–14)

Another bracket abstraction algorithm. (English) Zbl 0837.68013

Jaćimović, M. (ed.), VIII conference on applied mathematics, Tivat, Yugoslavia, May 27-29, 1993. Podgorica: University of Montenegro, Dept. of Mathematics, 23-28 (1994).
PDFBibTeX XMLCite

Relational nouns. (English) Zbl 0831.03016

Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 745-759 (1994).
MSC:  03B65
PDFBibTeX XMLCite

Declarative representation and processing of systemic grammars. (English) Zbl 0804.68113

Martín-Vide, Carlos (ed.), Current issues in mathematical linguistics. 1st International Conference, ICML ’93, Virgili University, Tarragona, Catalonia, Spain, on March 30-31, 1993. Selected papers. Amsterdam: North-Holland. North-Holland Linguist. Ser. 56, 363-371 (1994).
PDFBibTeX XMLCite

Extending the limits of sequentially phased reasoning. (English) Zbl 1044.68556

Thiagarajan, P. S. (ed.), Foundations of software technology and theoretical computer science. 14th conference, Madras, India, December 15-17, 1994. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-58715-2 /SC). Lect. Notes Comput. Sci. 880, 402-413 (1994).
MSC:  68N30 68Q60
PDFBibTeX XMLCite

Interpretations of transfinite recursion and parametric abstraction in types. (English) Zbl 0874.03069

Ito, Masami (ed.) et al., Words, languages and combinatorics II. Proceedings of the 2nd international conference, Kyoto, Japan, August 25-28, 1992. Singapore: World Scientific. 452-464 (1994).
MSC:  03F50
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

Software