Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012.<br>The 8 revised full papers presented together with 4 invi...

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Durán, Franciso
Format:	eBog
Sprog:	English
Udgivet:	Berlin, Heidelberg Imprint: Springer 2012.
Serier:	Lecture Notes in Computer Science 7571
Fag:	Computer science. Software engineering. Logic design.
Online adgang:	Click here to view the full text content
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, revised selected papers /
Udgivet: (2010)

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Udgivet: (2014)

Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers /
Udgivet: (2012)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Udgivet: (2013)

Rewriting and typed lambda calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Udgivet: (2014)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Udgivet: (2012)

Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Udgivet: (2012)

Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Udgivet: (2012)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Udgivet: (2005)

Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Udgivet: (2012)

The limits of logical empiricism : selected papers of Arthur Pap /
af: Pap, Arthur
Udgivet: (2006)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Udgivet: (2013)

The limits of logical empiricism : selected papers of Arthur Pap /
af: Pap, Arthur
Udgivet: (2006)

Fuzzy logic and its application in technology and management
Udgivet: (2007)

Fuzzy logic and its application in technology and management
Udgivet: (2007)

Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5-11, 2011. proceedings /
Udgivet: (2011)

Rewriting the self psychotherapy and Midrash
af: Rotenberg, Mordechai
Udgivet: (2004)

Rewriting the self psychotherapy and Midrash
af: Rotenberg, Mordechai
Udgivet: (2004)

Logic /
af: Baronett, Stan
Udgivet: (2008)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Udgivet: (2012)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Udgivet: (2013)

Business process management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings /
Udgivet: (2012)

Logic : informal, symbolic and inductive /
af: Chakraborti, Chhanda
Udgivet: (2007)

Logic : key concepts in philosophy /
Udgivet: (2005)

Logic primer /
af: Allen, Colin
Udgivet: (2001)

Logic and controversy /
af: Stanley, Maurice F.
Udgivet: (2002)

Introduction to logic /
af: Copi, Irving M.
Udgivet: (1998)

Introduction to logic /
af: Genesereth, Michael
Udgivet: (2013)

Logic in reality /
af: Brenner, Joseph E.
Udgivet: (2008)

The Power of logic /
af: Layman, Charles C.
Udgivet: (2001)

Logical studies /
af: Wright, Georg Henrik von
Udgivet: (1957)

Introducing logic /
af: Cryan, Dan

Logic for dummies /
af: Zegarelli, Mark
Udgivet: (2007)

Logic
af: Baronett, Stan
Udgivet: (2008)

Logic
af: Baronett, Stan
Udgivet: (2008)

Rewriting the rules : the Malaysian crisis management model /
af: Mahani Zainal Abidin
Udgivet: (2002)

Rewriting the rules : the Malaysian crisis management model /
af: Mahani Zainal Abidin
Udgivet: (2002)

Rewriting the rules : the Malaysian crisis management model /
af: Mahani Zainal Abidin
Udgivet: (2002)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Udgivet: (2006)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Udgivet: (2006)