Author of the publication

On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.

. TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 569-583. Springer, (1993)

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

DFL: A dataflow language based on Petri nets and nested relational calculus., , , , and . Inf. Syst., 33 (3): 261-284 (2008)Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems., , and . ATAED@Petri Nets/ACSD, volume 1847 of CEUR Workshop Proceedings, page 55-70. CEUR-WS.org, (2017)Aggregating over Dominated Points by Sorting, Scanning, Zip and Flat Maps., and . ESA, volume 274 of LIPIcs, page 96:1-96:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic.. CSL, volume 626 of Lecture Notes in Computer Science, page 396-410. Springer, (1991)On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in Presence of Ordering.. TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 569-583. Springer, (1993)Database Query Processing Using Finite Cursor Machines., , , , , and . ICDT, volume 4353 of Lecture Notes in Computer Science, page 284-298. Springer, (2007)The Infinitary Logic of Sparse Random Graphs, and . LICS, page 46-53. IEEE Computer Society, (1995)Towards minimal algorithms for big data analytics with spreadsheets., , , , and . BeyondMR@SIGMOD, page 1:1-1:4. ACM, (2017)Spreadsheet as a Multi-platform Mobile Application., , and . MOBILESoft, page 140-141. IEEE Computer Society, (2015)The Power of Spreadsheet Computations.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 305-322. Springer, (2020)