Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tuan-Hung Pham
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Nonmonotonic Reasoning With Quantified Boolean Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
New Extended and Quantified Constraints in XML Schema
Categories for Fixpoint-Semantics
New Foundations for Fixpoint Computations
Sentence Realisation From Bag of Words With Dependency Constraints
A Calculator for Roche Lobe Properties
Computational Astrophysics and Cosmology
Online Calculator for Hydroxychloroquine Dosing
Canadian Journal of Ophthalmology
Medicine
Ophthalmology
A Lattice-Theoretical Fixpoint Theorem and Its Applications
Pacific Journal of Mathematics
Mathematics