Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-11 of 11 results
The structure of relation algebras generated by relativizations / Steven R. Givant.
- Text
- Providence, R.I. : American Mathematical Society, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 94-698 Offsite LARCRIM user's guide [microform] / John S. Davis, William J. Heaphy.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
- 1993
Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- Berlin : London : Springer, c2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3051Item details Format Call Number Item Location Text JSE 04-1393 Offsite Relational methods in computer science / C. Brink, W. Kahl, G. Schmidt, eds.
- Text
- Wien ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 R444 1997g Off-site 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 / Harrie C.M. de Swart (ed.).
- Text
- Berlin ; Hong Kong : Springer-Verlag, [2002], ©2002.
- 2002-2002
- 1 Item
Available Online
http://link.springer.de/link/service/series/0558/tocs/t2561.htmItem details Format Call Number Item Location Text QA76.9.M35 R465 2001g Off-site Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA10 .I58 2003g Off-site Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA76 .R437 2005g Off-site Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4988Item details Format Call Number Item Location Text QA10 .I58 2008g Off-site Relation algebras by games / Robin Hirsch, Ian Hodkinson.
- Text
- Amsterdam ; Boston : North Holland/Elsevier, 2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA10 .H57 2002 Off-site The structure of relation algebras generated by relativizations / Steven R. Givant.
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA10 .G58 1994 Off-site Conferências na Unicamp em 1975 = Lectures at Unicamp in 1975 / Alfred Tarski ; Leandro Suguitani, Jorge Petrucio Viana e Itala M. Loffredo D'Ottaviano organizadores, editors.
- Text
- Campinas : Editora UNICAMP : Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, [2016]
- 1 Item
Item details Format Call Number Item Location Text QA9.2 T28 2016 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta