( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A restricted second-order logic for non-deterministic poly-logarithmic time.

, , , и . Log. J. IGPL, 28 (3): 389-412 (2020)

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.

Klaus-Dieter Schewe

Kurt Schewe

Günter Schewe

Joachim Schewe

Gerhard Schewe

 

Другие публикации лиц с тем же именем

Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels., и . Fundam. Informaticae, 70 (3): 277-301 (2006)Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme., , и . Inform. Forsch. Entwickl., 10 (3): 115-127 (1995)Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 155-168. Springer, (2020)Accurate and Efficient Profile Matching in Knowledge Bases., , , , и . CoRR, (2017)The Power of Media Types.. WISE, том 3306 из Lecture Notes in Computer Science, стр. 53-58. Springer, (2004)Editorial., , и . J. Syst. Softw., 79 (5): 575-576 (2006)Web information systems design in the era of web 2.0 and beyond., , и . iiWAS, стр. 10. ACM, (2009)Hagenberg Business Process Modelling Method, , , , , , , и . Springer, Cham, (2016)Active Consistency Enforcement for Repairable Database Transitions., и . FMLDO, стр. 87-102. University of Magedeburg, Faculty of Computer Science, (1996)Fixed-Point Quantifiers in Higher Order Logics, и . Proceedings of the 2006 Conference on Information Modelling and Knowledge Bases XVII, стр. 237--244. Amsterdam, The Netherlands, The Netherlands, IOS Press, (2006)