( en | de | ru )

 

Disambiguation of "Gâinâ, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
An Institution-Independent Proof of the Robinson Consistency Theorem.

, and . Stud Logica, 85 (1): 41-73 (2007)

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

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 Generalization of Tarski's Elementary Chain Theorem., and . J. Log. Comput., 16 (6): 713-735 (2006)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)Constructor-based Logics., , and . J. Univers. Comput. Sci., 18 (16): 2204-2233 (2012)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)Interpolation in logics with constructors.. Theor. Comput. Sci., (2013)Foundations of logic programming in hybrid logics with user-defined sharing.. Theor. Comput. Sci., (2017)