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.00018OpenAlexW4300188909MaRDI 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 scienceRelational methodsCOST Action 274 TARSKIOisterwijk (The Netherlands)RelMiCS 2001

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Partiality. I: Embedding relation algebras

This page was built for publication: 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