( en | de | ru )

 

Disambiguation of "Preining, Norbert"

Author of the publication

copydeleteadd this publication to your clipboard
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.

, , and . ISMVL, page 9. IEEE Computer Society, (2006)

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.

Norbert Schlang

Auftreten der partiellen Taubährigkeit in Weizenbeständen: räumliche Verteilung der Fusarium-Arten und assoziierter Mykotoxine. Uni Bonn, (2009)

Dr.-Ing.  Norbert Grov

Norbert Müller

Norbert Jacoby

Norbert Ritter

 

Other publications of authors with the same name

Gödel Logics - A Survey.. LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 30-51. Springer, (2010)Continuous Fraïssé Conjecture., , and . Order, 25 (4): 281-298 (2008)An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves., , and . ICSM, page 468-471. IEEE Computer Society, (2013)Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences., and . J. Log. Comput., 25 (3): 527-547 (2015)Linear Kripke frames and Gödel logics., and . J. Symb. Log., 72 (1): 26-44 (2007)On Formal Verification in Imperative Multivalued Programming over Continuous Data Types., , , and . CoRR, (2016)Gödel Logics and Cantor-Bendixon Analysis.. LPAR, volume 2514 of Lecture Notes in Computer Science, page 327-336. Springer, (2002)Deciding logics of linear Kripke frames with scattered end pieces., and . Soft Comput., 21 (1): 191-197 (2017)On the classification of first order Gödel logics., and . Ann. Pure Appl. Log., 170 (1): 36-57 (2019)Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications., , and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 182-198. Springer, (2014)