Search

Your search keyword '"Körner, Philipp"' showing total 7 results

Search Constraints

Start Over You searched for: Author "Körner, Philipp" Remove constraint Author: "Körner, Philipp" Database arXiv Remove constraint Database: arXiv
7 results on '"Körner, Philipp"'

Search Results

1. Fifty Years of Prolog and Beyond

2. Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

3. Effectiveness of Annotation-Based Static Type Inference

4. On the Performance of Bytecode Interpreters in Prolog

5. Prolog Coding Guidelines: Status and Tool Support

6. Measuring Coverage of Prolog Programs Using Mutation Testing

7. Symbolic Reachability Analysis of B through ProB and LTSmin

Catalog

Books, media, physical & digital resources