Konferenzschrift | Kongress
Rewriting logic and its applications : 9th international workshop ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642340048
3642340040
- Dimensions
-
24 cm
- Extent
-
VIII, 239 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7571
- Keyword
-
Termersetzungssystem
Programmiersprache
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Durán, Francisco
- WRLA (9 : 2012 : Tallinn)
- ETAPS (15 : 2012 : Tallinn)
- Springer
Time of origin
- 2012
Other Objects (12)
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Computational logic in multi-agent systems : 9th international workshop ; revised selected and invited papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Logic, language and meaning : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language and meaning : revised selected papers
Trustworthy global computing : 9th international symposium ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Computational logic in multi-agent systems : 9th international workshop ; revised selected and invited papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Logic, language and meaning : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language and meaning : revised selected papers
Trustworthy global computing : 9th international symposium ; revised selected papers
Rewriting logic and its applications : 8th international workshop ; revised selected papers
Computational logic in multi-agent systems : 9th international workshop ; revised selected and invited papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Logic, language and meaning : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language, and computation : revised selected papers
Logic, language and computation : revised selected papers
Logic, language and meaning : revised selected papers