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 /

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 /

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited pap...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Escobar, Santiago
स्वरूप:	ई-पुस्तक
भाषा:	English
प्रकाशित:	Cham Springer International Publishing 2014.
श्रृंखला:	Lecture Notes in Computer Science 8663
विषय:	Computer science. Software engineering. Logic design.
ऑनलाइन पहुंच:	Click here to view the full text content
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

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 /
प्रकाशित: (2012)

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 /
प्रकाशित: (2010)

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 /
प्रकाशित: (2014)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
प्रकाशित: (2005)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
प्रकाशित: (2014)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
प्रकाशित: (2014)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
प्रकाशित: (2014)

New directions in paraconsistent logic : 5th WCP, Kolkata, India, February 2014 /
प्रकाशित: (2015)

The limits of logical empiricism : selected papers of Arthur Pap /
द्वारा: Pap, Arthur
प्रकाशित: (2006)

Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5-11, 2011. proceedings /
प्रकाशित: (2011)

The limits of logical empiricism : selected papers of Arthur Pap /
द्वारा: Pap, Arthur
प्रकाशित: (2006)

Fuzzy logic and its application in technology and management
प्रकाशित: (2007)

Fuzzy logic and its application in technology and management
प्रकाशित: (2007)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
प्रकाशित: (2014)

Rewriting the self psychotherapy and Midrash
द्वारा: Rotenberg, Mordechai
प्रकाशित: (2004)

Rewriting the self psychotherapy and Midrash
द्वारा: Rotenberg, Mordechai
प्रकाशित: (2004)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
प्रकाशित: (2014)

Logic /
द्वारा: Baronett, Stan
प्रकाशित: (2008)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
प्रकाशित: (2006)

Logic : informal, symbolic and inductive /
द्वारा: Chakraborti, Chhanda
प्रकाशित: (2007)

Logic : key concepts in philosophy /
प्रकाशित: (2005)

Logic primer /
द्वारा: Allen, Colin
प्रकाशित: (2001)

Logic and controversy /
द्वारा: Stanley, Maurice F.
प्रकाशित: (2002)

Introduction to logic /
द्वारा: Copi, Irving M.
प्रकाशित: (1998)

Introduction to logic /
द्वारा: Genesereth, Michael
प्रकाशित: (2013)

Logic in reality /
द्वारा: Brenner, Joseph E.
प्रकाशित: (2008)

The Power of logic /
द्वारा: Layman, Charles C.
प्रकाशित: (2001)

Logical studies /
द्वारा: Wright, Georg Henrik von
प्रकाशित: (1957)

Introducing logic /
द्वारा: Cryan, Dan

Logic for dummies /
द्वारा: Zegarelli, Mark
प्रकाशित: (2007)

Logic
द्वारा: Baronett, Stan
प्रकाशित: (2008)

Logic
द्वारा: Baronett, Stan
प्रकाशित: (2008)

Rewriting the rules : the Malaysian crisis management model /
द्वारा: Mahani Zainal Abidin
प्रकाशित: (2002)

Rewriting the rules : the Malaysian crisis management model /
द्वारा: Mahani Zainal Abidin
प्रकाशित: (2002)

Rewriting the rules : the Malaysian crisis management model /
द्वारा: Mahani Zainal Abidin
प्रकाशित: (2002)

Digital logic : analysis, application and design /
द्वारा: Garrod, Susan A R.
प्रकाशित: (1991)

Programming logic and design /
द्वारा: Farrell, Joyce
प्रकाशित: (2002)

Introduction to logic design /
द्वारा: Marcovitz, Alan B.
प्रकाशित: (2002)

Introduction to logic design /
द्वारा: Marcovitz, Alan B.
प्रकाशित: (2010)

Fundamentals of logic design /
द्वारा: Roth, Charles H.
प्रकाशित: (2006)