K. Meinke has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Edition summary (click for prices and details):
Paperback:
9783540634591 | Springer Verlag, September 1, 1997, cover price $71.95 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
2
Product Description: Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs...read more
Edition summary (click for prices and details):
Hardcover:
9780471934851 | John Wiley & Sons Inc, March 1, 1993, cover price $100.00 | About this edition: Prominent experts present papers which discuss problems regarding this subject.
displaying 1 to 2 |
at end