Philippa Anne Gardner

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Context logic as modal logic: completeness and parametric inexpressivity

Cristiano Calcagno and others (2007) · ACM SIGPLAN Notices · Association for Computing Machinery

Expressiveness and complexity of graph logic

Anuj Dawar and others (2007) · Information and Computation · Elsevier BV

An Introduction to Context Logic

Philippa Anne Gardner and others (2007) · Lecture notes in computer science · Springer Science+Business Media