×

zbMATH — the first resource for mathematics

Found 48 Documents (Results 1–48)

100
MathJax
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 284-292 (2007).
MSC:  05A17 05A20 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the international conference on algebra and its applications (ICAA 2002), Chulalongkorn University, Bangkok, Thailand, March 18–20, 2002. Bangkog: Chulalongkorn University, Department of Mathematics (ISBN 970-13-2182-1). 266-277 (2002).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: Link
de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 276-290 (2002).
MSC:  68Q42 68Q70 03B40
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software