David Pearce

Available identifiers

zbMath Open pearce.david-jDBLPp/DavidJPearceWikidataQ123120496 ScholiaQ123120496MaRDI QIDQ532424

List of research outcomes

Publication	Date of Publication	Type
A new logical characterisation of stable models and answer sets	2024-10-24	Paper
Computational resources	2023-04-28	Paper
Verifying Whiley programs with Boogie	2022-12-12	Paper
Computing Tutte Polynomials	2017-05-19	Paper
On Logics of Group Belief in Structured Coalitions	2016-11-30	Paper
A space-efficient algorithm for finding strongly connected components	2015-11-05	Paper
Sound and Complete Flow Typing with Unions, Intersections and Negations	2014-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q5414580	2014-05-06	Paper
Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types	2011-05-04	Paper
A dynamic topological sort algorithm for directed acyclic graphs	2008-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4738783	2004-08-11	Paper
From here to there: Stable negation in logic programming	2002-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q2767096	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2721207	2001-07-01	Paper

Research outcomes over time

This page was built for person: David Pearce