Concepedia

Errol P. Martin

EP

1

Publications

62

Citations

1

H-Index

1982

Active since

Affiliations

Australian National University(Current)

Errol P. Martin is an author at Australian National University specializing in automated reasoning, formal methods, and mathematical foundations.

Top concepts

EngineeringFormal LogicFormal MethodsAutomated ReasoningNon-monotonic LogicMathematical Foundations

Publications per year

1982–1982

1

Publications

1

Solution to the <i>P</i> − <i>W</i> problem

Errol P. Martin, R. Meyer · Journal of Symbolic Logic · 1982 · 62 citations

Formal Logic, Non-classical Logic, Non-monotonic Logic +11

Rows per page

1–1 of 1