Gulay Unel

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 Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Incremental reasoning on monadic second-order logics with logic programming Journal of Logical and Algebraic Methods in Programming	2016-03-04	Paper
Speed-up techniques for negation in grounding Logic for Programming, Artificial Intelligence, and Reasoning	2011-01-07	Paper
An Incremental Technique for Automata-Based Decision Procedures Automated Deduction – CADE-21	2009-03-06	Paper
Logic Programming Approach to Automata-Based Decision Procedures Logic Programming	2009-03-05	Paper

Research outcomes over time

This page was built for person: Gulay Unel