Tiuryn, Jerzy
Tiuryn, Jerzy, 1950-
Jerzy Tiuryn Polish mathematician and computer science researcher
VIAF ID: 37173619 ( Personal )
Permalink: http://viaf.org/viaf/37173619
Preferred Forms
- 100 0 _ ‡a Jerzy Tiuryn ‡c Polish mathematician and computer science researcher
-
- 200 _ | ‡a Tiuryn ‡b Jerzy
-
-
- 100 1 _ ‡a Tiuryn, Jerzy
-
- 100 1 0 ‡a Tiuryn, Jerzy
- 100 1 _ ‡a Tiuryn, Jerzy
-
-
- 100 1 _ ‡a Tiuryn, Jerzy
-
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Algebraiczne podstawy teorii maszyn | |
Analiza podobieństwa struktur przestrzennych białek przy użyciu deskryptorów lokalnej struktury | |
Aspects algorithmiques et structurels des relations d'ordre partiel sur les graphes. | |
Badanie zanurzalności algebr częściowych za pomocą systemów przepisywania termów | |
Computational aspects of presence of drug resistance mechanisms | |
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers | |
Decidable properties of tree languages | |
Detection of horizontal gene transfer | |
Discrimination by parallel observers : the algorithm | |
Dynamic logic | |
Equational axiomatization of bicoercibility for polymorphic types / Jerzy Tiuryn. - Warszawa, 1995. | |
Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowej białek | |
Evolution of protein-protein interaction networks | |
Fixed-points and algebras with infinitely long expressions. | |
FOSSACS 2000 | |
Foundations of software science and computation structures : third international conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 : proceedings | |
M-groupoid as a tool to investigate mathematical models of computers | |
M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów | |
Modeling transcription factor complex binding to eukaryotic genomes | |
Modelowanie ewolucji genomów | |
Modelowanie wiązania kompleksów czynników transkrypcyjnych w genomach eukariotycznych | |
Obliczeniowe aspekty występowania mechanizmów oporności na leki | |
Process algebra semantics for queues | |
Rozstrzygalne własności języków drzew | |
Satisfiability of inequalities in a poset | |
A sequent calculus for subtyping polymorphic types | |
Structural and algorithmic aspects of partial orderings of graphs | |
Subtyping over a lattice | |
The subtyping problem for second-order types is undecidable | |
Termination of rewriting in the calculus of constructions | |
Untyped lambda-calculus with input-output | |
Wstęp do teorii mnogości i logiki |