Searching for authors named Jerzy Tiuryn – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Equational Axiomatization of Bicoercibility for Polymorphic Types
- …Equational Axiomatization of Bicoercibility for Polymorphic Types Jerzy Tiuryn Institute…
- Cited by 8 (1 self) – Add To MetaCart
-
BIOINFORMATICS doi:10.1093/bioinformatics/btm194 Identification of functional modules from conserved ancestral protein–protein interactions
- …* and Jerzy Tiuryn Institute of Informatics, Warsaw University, Poland ABSTRACT Motivation: The increasing…
- Add To MetaCart
-
Adding Input-Output to PCF
- …Adding Input-Output to PCF (Technical Summary) Jerzy Tiuryn Institute of Informatics Warsaw…
- Add To MetaCart
-
Products and Polymorphic Subtypes
- …@(email omitted); Jerzy Tiuryn y Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland…
- Add To MetaCart
-
Regulatory network reconstruction using Stochastic Logical Networks
- …,2 and Jerzy Tiuryn 2 1 Institute of Mathematics, Polish Academy of Sciences, ul. ´ Sniadeckich 8, 00…
- Cited by 1 (1 self) – Add To MetaCart
-
Inferring phylogeny from whole genomes
- …BIOINFORMATICS Inferring phylogeny from whole genomes Paweł Górecki and Jerzy Tiuryn Institute…
- Cited by 3 (2 self) – Add To MetaCart
-
Untyped Lambda-Calculus with Input-Output (Progress Report)
- …Untyped Lambda-Calculus with Input-Output (Progress Report) Jerzy Tiuryn Institute…
- Cited by 2 (1 self) – Add To MetaCart
-
On the Completeness of Propositional Hoare Logic
- …On the Completeness of Propositional Hoare Logic Dexter Kozen 1 and Jerzy Tiuryn 2 1 Computer…
- Cited by 3 (2 self) – Add To MetaCart
-
A New Characterization of Lambda Definability
- …A New Characterization of Lambda Definability Achim Jung 1 and Jerzy Tiuryn ?2 1 Fachbereich…
- Cited by 22 (1 self) – Add To MetaCart
-
Satisfiability of Inequalities in a Poset
- … University Stanford, CA 94305 (pratt@(email omitted);) Jerzy Tiuryn y Institute of Informatics Warsaw…
- Cited by 13 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
