Patrick D. Lincoln

Available identifiers

zbMath Open lincoln.patrick-dMaRDI QIDQ1575866

List of research outcomes

Publication	Date of Publication	Type
On Shostak's decision procedure for combinations of theories	2019-01-15	Paper
A search-based procedure for nonlinear real arithmetic	2017-03-28	Paper
Two Decades of Maude	2015-09-14	Paper
Analyzing Pathways Using SAT-Based Approaches	2007-11-29	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.	2007-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4447216	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4447224	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4418566	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4418589	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4413230	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4413259	2003-07-17	Paper
Maximizing sharing of protected information	2002-09-12	Paper
Maude: specification and programming in rewriting logic	2002-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q2703706	2001-05-07	Paper
Optimization complexity of linear logic proof games	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4222979	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222994	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222853	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222837	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4395614	1998-11-01	Paper
Linear Logic Proof Games and Optimization	1997-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4842972	1996-01-21	Paper
Constant-only multiplicative linear logic is NP-complete	1995-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4842970	1995-10-31	Paper
First-order linear logic without modalities is NEXPTIME-hard	1995-01-11	Paper
Linearizing intuitionistic implication	1993-05-16	Paper
Decision problems for propositional linear logic	1992-09-27	Paper
Adventures in associative-commutative unification	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805960	1988-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: Patrick D. Lincoln