Publications

Publications

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Author/Editor

Year

Title

Type

parallel algorithms

parametrized binomial ideals

Paramodulation

partial-CAD.

path logic

Peirce algebra

Periwinkle

permutation groups

photo mask layout

Planning

planning under uncertainty

planning (artificial intelligence)

pointer programs

pointer verification

polynomial time

Predicate Abstraction

Predicate Logic

Preference-based Logic

Priestley Duality

Primal Partial Instantiation

process algebra

program analysis

program development rules

program synthesis

program verification

Programmanalyse

programming calculi

Programming Languages

programming theory

proof construction