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

This page was built for person: Patrick D. Lincoln