Is this you? Create Your Porfile
Avatar

Roman Rudziński

Polish Academy of Sciences

Network

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

Explore More

Hotspot

Dive into the research topics where Roman Rudziński is active.

Explore More

Publication

Featured researches published by Roman Rudziński.

Archive | 1991

An introduction to programming with specifications: a mathematical approach

Roman Rudziński; Stefan Sokołowski; Ryszard Kubiak

Archive | 1991

HOW TO DESIGN ITERATIVE ALGORITHMS

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

BASIC MATHEMATICAL VOCABULARY

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

PARTIAL AND TOTAL CORRECTNESS

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

OUR MAIN TOOL: INDUCTION

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

ON DEFINITIONS AND SPECIFICATIONS

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

DESIGNING RECURSIVE DEFINITIONS

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

RECURSIVE FUNCTION DEFINITIONS

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

FROM RECURSION TO ITERATION AND BACK

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Archive | 1991

HIGH-ORDER DATA: SEQUENCES

Ryszard Kubiak; Roman Rudziński; Stefan Sokołowski

Explore More

Collaboration

Dive into the Roman Rudziński's collaboration.

Top Co-Authors
Avatar

Ryszard Kubiak

Polish Academy of Sciences

View shared research outputs
Top Co-Authors
Avatar

Stefan Sokołowski

Polish Academy of Sciences

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge