Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Katedra Podstaw Informatyki - lista publikacji
Nadjednostka:
Instytut Informatyki Analitycznej
[
Wszystkie publikacje
]
[
2024
] [
2023
] [
2022
] [
2021
] [
2020
] [
2019
] [
2018
] [
2017
] [
2016
] [
2015
] [
2014
] [
2013
] [
2012
] [
2011
] [
2010
] [
2009
] [
2008
] [
2007
] [
2006
] [
2005
] [
2004
] [
2003
] [
2001
] [
2000
] [
1997
] [
1995
] [
1992
] [
1990
] [
1989
] [
1988
] [
1987
] [
1985
] [
1984
]
1-2 z 2.
1987
2.
Marek Zaionc
Word Operations Definable in the Typed lambda Calculus
,
Theoretical Computer Science
vol. 52 (1987), 1-14
1.
Marek Zaionc
The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus
,
Fundamenta Informaticae
vol. 10 (1987), 309-322
7452
7451
