Is this you? Create Your Porfile
Avatar

Andrzej Trybulec

University of Alberta

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Andrzej Trybulec is active.

Explore More

Publication

Featured researches published by Andrzej Trybulec.

Archive | 2004

Abian’s Fixed Point Theorem1

Piotr Rudnicki; Andrzej Trybulec

Archive | 1996

Decomposing a Go-Board into Cells

Yatsuka Nakamura; Andrzej Trybulec

Archive | 1993

Some Remarks on the Simple Concrete Model of Computer

Andrzej Trybulec; Yatsuka Nakamura

Archive | 1999

Bounded Domains and Unbounded Domains

Yatsuka Nakamura; Andrzej Trybulec

Archive | 1992

On a Mathematical Model of Programs

Yatsuka Nakamura; Andrzej Trybulec

Archive | 1990

A First Order Language

Piotr Rudnicki; Andrzej Trybulec

Archive | 1996

Components and Unions of Components

Yatsuka Nakamura; Andrzej Trybulec

Archive | 1996

An Extension of SCM

Andrzej Trybulec; Yatsuka Nakamura; Piotr Rudnicki

Archive | 1996

A Note on "How to Write a Proof"

Piotr Rudnicki; Andrzej Trybulec

Archive | 1993

Using Mizar in computer aided instruction of mathematics

Andrzej Trybulec; Piotr Rudnicki

Explore More

Collaboration

Dive into the Andrzej Trybulec's collaboration.

Top Co-Authors
Avatar

Yatsuka Nakamura

Shinshu University

View shared research outputs
Top Co-Authors
Avatar

Piotr Rudnicki

University of Alberta

View shared research outputs
Top Co-Authors
Avatar

Pauline N. Kawamoto

Shinshu University

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge