Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gupta, G (Gopal), 1963- (Editor, http://id.loc.gov/vocabulary/relators/edt), Gupta, Gopal (Editor, http://id.loc.gov/vocabulary/relators/edt), Peña, Ricardo, 1950- (Editor, http://id.loc.gov/vocabulary/relators/edt), Peña, Ricardo (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Book
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014
Edition:	1st ed. 2014
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Theoretical computer science and general issues ; 8901. LNCS sublibrary Theoretical computer science and general issues 8901
Subjects:	Artificial intelligence Computer logic Computer programming Computer science > Mathematics Computer science Computer science-Mathematics Discrete mathematics Logic, Symbolic and mathematical Machine theory Software engineering Programming Techniques Artificial Intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Formal Languages and Automata Theory Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /

Similar Items