×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Brim, Lubos (ed.) et al., WFLP 2003. Selected papers of the 12th international workshop on functional and constraint logic programming (in connection with RDP’03, Federated conference on rewriting, deduction and programming), Valencia, Spain, June 12–13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 86, No. 3, 168-204 (2003).
PDF BibTeX XML Cite
Full Text: Link
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9–12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 494-508 (2003).
MSC:  68P15 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Codognet, Philippe (ed.), Logic programming. 17th international conference, ICLP 2001, Paphos, Cyprus, November 26 – December 1, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42935-2). Lect. Notes Comput. Sci. 2237, 331-347 (2001).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: Link
Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 153-169 (2001).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification
all top 3
Software