Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Patrick D. Lincoln - MaRDI portal

Patrick D. Lincoln

From MaRDI portal
(Redirected from Person:518406)
Person:1575866

Available identifiers

zbMath Open lincoln.patrick-dMaRDI QIDQ1575866

List of research outcomes





PublicationDate of PublicationType
On Shostak's decision procedure for combinations of theories2019-01-15Paper
A search-based procedure for nonlinear real arithmetic2017-03-28Paper
Two Decades of Maude2015-09-14Paper
Analyzing Pathways Using SAT-Based Approaches2007-11-29Paper
Hybrid Systems: Computation and Control2007-09-25Paper
All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.2007-08-08Paper
https://portal.mardi4nfdi.de/entity/Q44472162004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44472242004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44185662003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44185892003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44132302003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q44132592003-07-17Paper
Maximizing sharing of protected information2002-09-12Paper
Maude: specification and programming in rewriting logic2002-08-13Paper
https://portal.mardi4nfdi.de/entity/Q27037062001-05-07Paper
Optimization complexity of linear logic proof games2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q42229791999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42229941999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q42228531998-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42228371998-12-13Paper
https://portal.mardi4nfdi.de/entity/Q43956141998-11-01Paper
Linear Logic Proof Games and Optimization1997-05-25Paper
https://portal.mardi4nfdi.de/entity/Q48429721996-01-21Paper
Constant-only multiplicative linear logic is NP-complete1995-11-28Paper
https://portal.mardi4nfdi.de/entity/Q48429701995-10-31Paper
First-order linear logic without modalities is NEXPTIME-hard1995-01-11Paper
Linearizing intuitionistic implication1993-05-16Paper
Decision problems for propositional linear logic1992-09-27Paper
Adventures in associative-commutative unification1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38059601988-01-01Paper

Research outcomes over time

This page was built for person: Patrick D. Lincoln