William 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
https://portal.mardi4nfdi.de/entity/Q3601402	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
https://portal.mardi4nfdi.de/entity/Q2758323	2002-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q2758292	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/Q4124312	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138082	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William W. Wadge