Title: An introduction to search combinators
Authors: Schrijvers, Tom ×
Tack, Guido
Wuille, Pieter
Samulowitz, Horst
Stuckey, Peter J. #
Issue Date: 2013
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:7844 pages:2 -16
Conference: Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012 edition:22 location:Leuven, Belgium date:September 18-20, 2012
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
LOPSTR2012.pdf Published 268KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.