Author of the publication

A restricted second-order logic for non-deterministic poly-logarithmic time.

, , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness., , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 155-168. Springer, (2020)XML Database Transformations., and . J. Univers. Comput. Sci., 16 (20): 3043-3072 (2010)A Smart Approach for Matching, Learning and Querying Information from the Human Resources Domain., , and . ADBIS (Short Papers and Workshops), volume 637 of Communications in Computer and Information Science, page 157-167. Springer, (2016)A heuristic approach to cost-efficient fragmentation and allocation of complex value databases., , and . ADC, volume 49 of CRPIT, page 183-192. Australian Computer Society, (2006)Web information systems co-design., and . iiWAS, page 3. ACM, (2008)Extending Knowledge-Based Profile Matching in the Human Resources Domain., , and . DEXA (2), volume 9262 of Lecture Notes in Computer Science, page 21-35. Springer, (2015)Semantics in Data and Knowledge Bases., and . SDKB, volume 4925 of Lecture Notes in Computer Science, page 1-25. Springer, (2008)Integration and Cooperation of Media Types., , and . ISTA, volume P-63 of LNI, page 139-153. GI, (2005)Maintenance of Profile Matchings in Knowledge Bases., , , , and . MEDI, volume 9893 of Lecture Notes in Computer Science, page 132-141. Springer, (2016)Specifying Transaction Control to Serialize Concurrent Program Executions., and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 142-157. Springer, (2014)