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

DOI10.1007/3-540-36280-0zbMath1014.00018MaRDI QIDQ1396761

No author found.

Publication date: 9 July 2003

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://link.springer.de/link/service/series/0558/tocs/t2561.htm

zbMATH Keywords

Computer science; Relational methods; COST Action 274 TARSKI; Oisterwijk (The Netherlands); RelMiCS 2001

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03B70: Logic in computer science

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

Partiality. I: Embedding relation algebras