Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Irina Trubitsyna

Active Integrity Constraints with Existential Quantification ⬇️

scientific paper published in CEUR-WS Volume 3194

Checking Termination of Logic Programs with Function Symbols through Linear Constraints

scientific article published in 2014

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments

scientific article published in July 2013

atalog: A logic language for expressing search and optimization problems

scientific article published on 18 January 2010

Paulina is supported by:

About Paulina

Help