zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–5)

100
MathJax
MSC:  68N17
Full Text:
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).
Full Text:
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
Full Text:
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
Full Text:
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).
Full Text:

all top 3