Search results for: Jan-Georg Smaus
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 424-439
Lecture Notes in Computer Science > Functional and Logic Programming > Programming Methodology > 259-274
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 82-101
Lecture Notes in Computer Science > Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems > 288-302
Lecture Notes in Computer Science > Logic Programming > Regular Papers > 438-450
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 82-117
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Types > 282-298
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 214-226
Lecture Notes in Computer Science > Logic Programming > Posters > 511-512
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 59-73
Lecture Notes in Computer Science > Tests and Proofs > 153-168
Lecture Notes in Computer Science > Program Development in Computational Logic > Termination > 376-431
Lecture Notes in Computer Science
Electronic Notes in Theoretical Computer Science > 1999 > 30 > 1 > 125