Search results
From MaRDI portal
- Tom Schrijvers (section List of research outcomes)2013-09-13 Paper MRI: Modular reasoning about interference in incremental programming 2013-06-28 Paper <scp>OutsideIn(X)</scp>Modular type inference with local assumptions...10 bytes (13 words) - 10:32, 7 October 2023
- Lars Birkedal (section List of research outcomes)Domain-theoretical models of parametric polymorphism 2007-12-18 Paper Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages...10 bytes (15 words) - 02:23, 9 December 2023
- Thomas Eiter (section List of research outcomes)Expressiveness of stable model semantics for disjunctive logic programs with functions 1998-07-16 Paper Abduction from logic programs: Semantics and complexity...10 bytes (15 words) - 11:36, 8 December 2023
- complexity of semantics for logic programs 2017-06-13 Paper Packing analogue of \(k\)-radius sequences 2016-06-20 Paper On abstract modular inference systems...10 bytes (15 words) - 13:24, 10 December 2023
- Sharon Shoham (section List of research outcomes)Paper Property-Directed Inference of Universal Invariants or Proving Their Absence 2018-08-02 Paper Property-directed inference of universal invariants or...10 bytes (13 words) - 15:48, 24 September 2023
- Peter J. Stuckey (section List of research outcomes)for Constraint Handling Rules 2009-03-05 Paper Cadmium: An Implementation of ACD Term Rewriting 2009-01-22 Paper Dynamic Analysis of Bounds Versus Domain...10 bytes (15 words) - 23:40, 9 December 2023
- Dale Miller (section List of research outcomes)extended pattern unification 2022-05-04 Paper From axioms to synthetic inference rules via focusing 2022-04-01 Paper https://portal.mardi4nfdi.de/entity/Q5014803...10 bytes (16 words) - 03:30, 12 December 2023
- Rémy Haemmerlé (section List of research outcomes)CHR-based Type Inference 2014-11-25 Paper Diagrammatic confluence for Constraint Handling Rules 2013-03-13 Paper Modular Extensions for Modular (Logic) Languages...10 bytes (13 words) - 23:59, 24 September 2023
- Sonia Marin (section List of research outcomes)de/entity/Q5039162 2022-10-12 Paper A pure view of ecumenical modalities 2022-06-24 Paper From axioms to synthetic inference rules via focusing 2022-04-01 Paper Ecumenical...10 bytes (13 words) - 18:17, 24 September 2023
- Ian Horrocks (section List of research outcomes)Paper 15 years of consequence-based reasoning 2020-06-04 Paper Maintenance of datalog materialisations revisited 2019-08-28 Paper Foundations of ontology-based...10 bytes (15 words) - 10:26, 6 October 2023
- Kazushige Terui (section List of research outcomes)hypercompletions 2016-12-23 Paper From Focalization of Logic to the Logic of Focalization 2016-07-08 Paper Densification of FL chains via residuated frames 2016-04-07...10 bytes (13 words) - 16:16, 24 September 2023
- Luciano Serafini (section List of research outcomes)Difference between Bridge Rules and Lifting Axioms 2010-04-06 Paper Journal on Data Semantics I 2010-03-03 Paper Composing Modular Ontologies with Distributed...10 bytes (15 words) - 13:41, 6 October 2023
- F. Vaandrager (section List of research outcomes)Untimed Systems 1995-11-14 Paper Turning SOS rules into equations 1994-06-19 Paper Modular specification of process algebras 1993-08-08 Paper https://portal...10 bytes (14 words) - 00:50, 9 December 2023
- José Meseguer (section List of research outcomes)Analysis of Leader Election in MANETs Using Real-Time Maude 2015-06-22 Paper Executable rewriting logic semantics of Orc and formal analysis of Orc programs...10 bytes (15 words) - 10:55, 11 December 2023
- Ronald R. Yager (section List of research outcomes)approach to inference with the capability of implementing default rules 1988-01-01 Paper On the Dempster-Shafer framework and new combination rules 1987-01-01...10 bytes (17 words) - 23:25, 24 September 2023
- Zhiwu Li (section List of research outcomes)nonblocking coordination of modular supervisors of discrete event systems 2024-05-02 Paper Secret inference and attacktability analysis of discrete event systems...10 bytes (15 words) - 10:37, 11 December 2023
- Bart Jacobs (section List of research outcomes)1993-11-11 Paper Comprehension categories and the semantics of type dependency 1993-05-16 Paper Semantics of the second order lambda calculus 1992-09-26 Paper...10 bytes (15 words) - 14:28, 9 December 2023
- Franco Barbanera (section List of research outcomes)Connecting open systems of communicating finite state machines 2019-11-28 Paper Modularity of termination and confluence in combinations of rewrite systems with...10 bytes (13 words) - 12:28, 28 January 2024
- Elena Zucca (section List of research outcomes)reduction semantics 2002-01-01 Paper https://portal.mardi4nfdi.de/entity/Q2722015 2001-07-11 Paper Deriving proof rules from continuation semantics 2000-05-07...10 bytes (14 words) - 02:32, 7 October 2023
- Lutz Straßburger (section List of research outcomes)The focused calculus of structures 2012-09-18 Paper From Deep Inference to Proof Nets via Cut Elimination 2011-10-21 Paper A system of interaction and structure...10 bytes (13 words) - 09:19, 6 October 2023
