UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Lazy Abstraction for Size-Change Termination

Codish, M; Fuhs, C; Giesl, J; Schneider-Kamp, P; (2010) Lazy Abstraction for Size-Change Termination. In: Fermuller, CG and Voronkov, A, (eds.) (Proceedings) 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning. (pp. 217-+). SPRINGER-VERLAG BERLIN

Full text not available from this repository.
Type: Proceedings paper
Title: Lazy Abstraction for Size-Change Termination
Event: 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Location: Yogyakarta, INDONESIA
Dates: 10 October 2010 - 15 October 2010
ISBN-13: 978-3-642-16241-1
DOI: 10.1007/978-3-642-16242-8_16
Keywords: Science & Technology, Technology, Physical Sciences, Computer Science, Software Engineering, Computer Science, Theory & Methods, Mathematics, Applied, Computer Science, Mathematics, PROVING TERMINATION, DEPENDENCY PAIRS, PROGRAMS
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1346054
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item