Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 author "M. Wirsing".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 editor "Jan van Leeuwen".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 isCitedBy Substitution_(logic).
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 pages "675–788".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 publisher "Elsevier".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 series "Handbook of Theoretical Computer Science".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 title "Algebraic Specification".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 volume "B".
- 930aa60f8842ba7b16eee6c374d7c7bb8efd765d948911993ca1821e65618332 year "1990".