( en | de | ru )

 

Disambiguation of "Gâinâ, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Foundations of Logic Programming in Hybridised Logics.

. WADT, volume 9463 of Lecture Notes in Computer Science, page 69-89. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Catalin Gainaru

Daniel

Daniel

Daniel Stanze

Systematische Analyse von Rezeptoren und Effektormechanismen der pulmonalen angeborenen Immunität. Uni Marburg, (2009)

Daniel Wied

Zivilprozessuale Qualifikationsprobleme im Spannungsfeld von Vertrag und Delikt: ein Beitrag zur Auslegung nationalen Zivilprozessrechts in europäischer Perspektive. Uni Regensburg, (2009)
 

Other publications of authors with the same name

An Institution-independent Generalization of Tarski's Elementary Chain Theorem., and . J. Log. Comput., 16 (6): 713-735 (2006)Foundations of Logic Programming in Hybridised Logics.. WADT, volume 9463 of Lecture Notes in Computer Science, page 69-89. Springer, (2014)Birkhoff Completeness for Hybrid-Dynamic First-Order Logic., and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 277-293. Springer, (2019)An Institution-Independent Proof of the Robinson Consistency Theorem., and . Stud Logica, 85 (1): 41-73 (2007)On Automation of OTS/CafeOBJ Method., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 578-602. Springer, (2014)Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors.. J. Log. Comput., 27 (6): 1717-1752 (2017)Completeness by Forcing., and . J. Log. Comput., 20 (6): 1165-1186 (2010)Constructor-based Logics., , and . J. Univers. Comput. Sci., 18 (16): 2204-2233 (2012)Interpolation in logics with constructors.. Theor. Comput. Sci., (2013)Horn Clauses in Hybrid-Dynamic First-Order Logic., and . CoRR, (2019)