Tarlecki, Andrzej, 1956-....
Tarlecki, Andrzej
Andrzej Tarlecki
VIAF ID: 30170516 ( Personal )
Permalink: http://viaf.org/viaf/30170516
Preferred Forms
- 100 0 _ ‡a Andrzej Tarlecki
-
- 100 1 0 ‡a Tarlecki, Andrzej
-
-
- 100 1 _ ‡a Tarlecki, Andrzej
- 100 1 _ ‡a Tarlecki, Andrzej
-
-
-
-
-
- 100 1 _ ‡a Tarlecki, Andrzej ‡d 1956-
-
- 100 1 _ ‡a Tarlecki, Andrzej, ‡d 1956-....
4xx's: Alternate Name Forms (7)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Abstract analysis of numerical and container variables | |
Abstrakcyjne specyfikacje z jawnym nośnikiem modelu | |
Algebraic observational equivalence and open-map bisimilarity | |
Algebraic specifications of reachable higher order algebras | |
Algebraiczna równoważność obserwacyjna, a równoważność bisymulacyjna określona za pomocą otwartych morfizmów | |
Algebras for some input/output semantics, 1980: | |
Algorytm wyrabia sobie opinię : piękno informatyki | |
Analiza abstrakcyjna zmiennych numerycznych oraz struktur danych | |
Analiza i konstrukcje systemów logicznych w ujęciu teorii kategorii | |
Analysis and construction of logical systems : a category-theoretic approach | |
Architectural Refinement in HETS | |
Architectural specifications and their verification | |
Architektur-Verfeinerung in HETS | |
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings | |
Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings | |
Continuous abstract data types | |
Denotacyjny opis języków programowania | |
Denotational description of programming languages | |
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings | |
FME | |
Foundations of algebraic specification and formal software development | |
Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings | |
Metoda badania poprawności specyfikacji tropowych | |
MFCS'91 | |
A mixin based object-oriented calculus : true modularity in object-oriented programming | |
Model-theoretic foundations for program development : basic concepts and motivation | |
Naive denotational semantics | |
Notes on the implementability of formal languages by concurrent systems | |
Obiektowy język programowania oparty na mixinach : prawdziwa modularność w językach obiektowych | |
Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers | |
Specifications of software architectures using diagrams of constructions | |
Weryfikacja specyfikacji architekturalnych | |
Wykorzystanie metod teorii kategorii do opracowania systemu modułów dla języka programowana funkcyjnego | |
Zastosowanie unifikacji do problemów wyprowadzania typów |