( en | de | ru )

 

Disambiguation of "Tyszkiewicz, Jerzy"

Author of the publication

copydeleteadd this publication to your clipboard
Adding For-Loops to First-Order Logic.

, , , and . Inf. Comput., 168 (2): 156-186 (2001)

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.

Goya Tyszkiewicz

Weyman Jerzy

Szynka Jerzy

Jerzy Cieslik

Jerzy Krzeczowski

 

Other publications of authors with the same name

The Power of Spreadsheet Computations.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 305-322. Springer, (2020)SO(forall-exist*) Sentences and Their Asymptotic Probabilities., and . Math. Log. Q., 46 (4): 435-452 (2000)Towards minimal algorithms for big data analytics with spreadsheets., , , , and . BeyondMR@SIGMOD, page 1:1-1:4. ACM, (2017)Well-constructed Workflows in Bioinformatics, , , , , , and . Workshop on Database Issues in Biological Databases (DBiBD), (2005)A formal model of dataflow repositories, , , , and . Proc. of the 4th Int. Workshop on Data Integration in Life Sciences (DILS), volume 4544/2007 of LNBI, page 105--121. Philadelphia, PA, USA, (June 2007)Lossless Representation of Topological Spatial Data, , , and . 951, page 1--13. Portland, Maine, USA, (1995)Spreadsheet as a Multi-platform Mobile Application., , and . MOBILESoft, page 140-141. IEEE Computer Society, (2015)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)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)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)