Gulay Unel
From MaRDI portal
Person:246448
Available identifiers
zbMath Open unel.gulayMaRDI QIDQ246448
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Logic programming approach to automata-based decision procedures | 2016-11-30 | Paper |
| Incremental reasoning on monadic second-order logics with logic programming | 2016-03-04 | Paper |
| Speed-up techniques for negation in grounding | 2011-01-07 | Paper |
| An Incremental Technique for Automata-Based Decision Procedures | 2009-03-06 | Paper |
| Logic Programming Approach to Automata-Based Decision Procedures | 2009-03-05 | Paper |
Research outcomes over time
This page was built for person: Gulay Unel