W. W. Wadge

Available identifiers

zbMath Open wadge.william-wDBLPw/WilliamWWadgeWikidataQ22953323 ScholiaQ22953323MaRDI QIDQ987827

List of research outcomes

Publication	Date of Publication	Type
The monadic hybrid calculus	2018-09-12	Paper
Minimum model semantics for logic programs with negation-as-failure	2017-07-12	Paper
Multidimensional infinite data in the language Lucid	2016-07-27	Paper
Extensional Higher-Order Logic Programming	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3118352	2012-03-02	Paper
Extensional Higher-Order Logic Programming	2010-10-01	Paper
Strong equivalence of logic programs under the infinite-valued semantics	2010-08-16	Paper
Preferential regular path queries	2009-02-10	Paper
An infinite-game semantics for well-founded negation in logic programming	2008-03-06	Paper
Logic Programming	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4471777	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4708939	2003-06-20	Paper
Vmake and ISE general tools for the intensionalization of software systems	2002-03-25	Paper
Intensional logic in context	2001-12-06	Paper
Extending Temporal Logic Programming with Choice Predicates Non-determinism	1995-11-06	Paper
Towards a unified theory of intensional logic programming	1992-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3776591	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3678639	1985-01-01	Paper
R for Semantics	1982-01-01	Paper
An extensional treatment of dataflow deadlock	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187284	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191559	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138082	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124312	1977-01-01	Paper
Lucid—A Formal System for Writing and Proving Programs	1976-01-01	Paper
Numerical form reduction of probabilistic computations in non-parametric classification	1974-01-01	Paper

Research outcomes over time

This page was built for person: W. W. Wadge