The following pages link to Patrick D. Lincoln (Q1575866):
Displayed 31 items.
- (Q518406) (redirect page) (← links)
- (Q1342251) (redirect page) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Maximizing sharing of protected information (Q696957) (← links)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- Adventures in associative-commutative unification (Q1262757) (← links)
- First-order linear logic without modalities is NEXPTIME-hard (Q1342252) (← links)
- Constant-only multiplicative linear logic is NP-complete (Q1342254) (← links)
- Optimization complexity of linear logic proof games (Q1575867) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- (Q2703706) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q3805960) (← links)
- (Q4222837) (← links)
- (Q4222853) (← links)
- (Q4222979) (← links)
- (Q4222994) (← links)
- (Q4395614) (← links)
- (Q4413230) (← links)
- (Q4413259) (← links)
- (Q4418566) (← links)
- (Q4418589) (← links)
- (Q4447216) (← links)
- (Q4447224) (← links)
- On Shostak's decision procedure for combinations of theories (Q4647541) (← links)
- (Q4842970) (← links)
- (Q4842972) (← links)
- Hybrid Systems: Computation and Control (Q5307959) (← links)
- Analyzing Pathways Using SAT-Based Approaches (Q5429360) (← links)
- Linear Logic Proof Games and Optimization (Q5689264) (← links)