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...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Durán, Franciso
Formatua:	eBook
Hizkuntza:	English
Argitaratua:	Berlin, Heidelberg Imprint: Springer 2012.
Saila:	Lecture Notes in Computer Science 7571
Gaiak:	Computer science. Software engineering. Logic design.
Sarrera elektronikoa:	Click here to view the full text content
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

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 /
Argitaratua: (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 /
Argitaratua: (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 /
Argitaratua: (2012)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Argitaratua: (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 /
Argitaratua: (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 /
Argitaratua: (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 /
Argitaratua: (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 /
Argitaratua: (2012)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Argitaratua: (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 /
Argitaratua: (2012)

The limits of logical empiricism : selected papers of Arthur Pap /
nork: Pap, Arthur
Argitaratua: (2006)

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

The limits of logical empiricism : selected papers of Arthur Pap /
nork: Pap, Arthur
Argitaratua: (2006)

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

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

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

Rewriting the self psychotherapy and Midrash
nork: Rotenberg, Mordechai
Argitaratua: (2004)

Rewriting the self psychotherapy and Midrash
nork: Rotenberg, Mordechai
Argitaratua: (2004)

Logic /
nork: Baronett, Stan
Argitaratua: (2008)

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

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

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

Logic : informal, symbolic and inductive /
nork: Chakraborti, Chhanda
Argitaratua: (2007)

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

Logic primer /
nork: Allen, Colin
Argitaratua: (2001)

Logic and controversy /
nork: Stanley, Maurice F.
Argitaratua: (2002)

Introduction to logic /
nork: Copi, Irving M.
Argitaratua: (1998)

Introduction to logic /
nork: Genesereth, Michael
Argitaratua: (2013)

Logic in reality /
nork: Brenner, Joseph E.
Argitaratua: (2008)

The Power of logic /
nork: Layman, Charles C.
Argitaratua: (2001)

Logical studies /
nork: Wright, Georg Henrik von
Argitaratua: (1957)

Introducing logic /
nork: Cryan, Dan

Logic for dummies /
nork: Zegarelli, Mark
Argitaratua: (2007)

Logic
nork: Baronett, Stan
Argitaratua: (2008)

Logic
nork: Baronett, Stan
Argitaratua: (2008)

Rewriting the rules : the Malaysian crisis management model /
nork: Mahani Zainal Abidin
Argitaratua: (2002)

Rewriting the rules : the Malaysian crisis management model /
nork: Mahani Zainal Abidin
Argitaratua: (2002)

Rewriting the rules : the Malaysian crisis management model /
nork: Mahani Zainal Abidin
Argitaratua: (2002)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Argitaratua: (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 /
Argitaratua: (2006)