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.
1988
2.
Marek Zaionc
Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus
,
Journal of Automated Reasoning
vol. 4 (1988), 173-190
1.
Marek Zaionc
On the lambda definable tree operations
,
Lecture Notes in Computer Science
vol. 425 (1988), 279-292
7450
7447
