Katedra Podstaw Informatyki - lista publikacji

Nadjednostka:

[Wszystkie publikacje]


[2026] [2025] [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]
201-226 z 226.

2005

26.
Jakub Kozik
Conditional Densities of Regular Languages, Electronic Notes in Theoretical Computer Science (2005), 67-79
25.
Marek Zaionc
On the asymptotic density of tautologies in logic of implication and negation, Reports on Mathematical Logic vol. 39 (2005), 67-87
24.
Marek Zaionc
Probabilistic approach to the lambda definability for fourth order types, Electronic Notes in Theoretical Computer Science (2005), 41-54

2004

23.
Stanisław Sędziwy
Fredholm lternative and boundary value problems, Proceedings of the American Mathematical Society vol. 132(6) (2004), 1779-1784
22.
Zofia Kostrzycka, Marek Zaionc
Statistics of intuitionistic versus classical logics, Studia Logica vol. 76 (2004), 307 - 328

2003

21.
Stanisław Sędziwy
Bounded solutions of second-order systems of differential equations, Journal of Mathematical Analysis and Applications vol. 281(2) (2003), 697–706
20.
Marek Zaionc
Asymptotic properties of logics, Schedae Informaticae vol. 12 (2003), 129-138
19.
Zofia Kostrzycka, Marek Zaionc
On the density of truth in Dummet logic, Bulletin of the Section of Logic vol. 32 (2003), 43-55
18.
Paweł Waszkiewicz
Quantitative Continuous Domains, Applied Categorical Structures vol. 11 (2003), 41-67
17.
Marek Zaionc
Statistics of implicational logic, Electronic Notes in Theoretical Computer Science vol. 84 (2003), 205–216

2001

16.
Stanisław Sędziwy
Upper and lower solutions method for even order two point boundary value problems, Rocky Mountain Journal of Mathematics vol. 31(4) (2001), 1429-1434
15.
Paweł Waszkiewicz
Distance and Measurement in Domain Theory, Electronic Notes in Theoretical Computer Science vol. 45 (2001), 448-462

2000

14.
Małgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
Statistical properties of simple types, Mathematical Structures in Computer Science vol. 10 (2000), 575-594

1997

13.
Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc
Schwichtenberg style lambda definability is undecidable, Lecture Notes in Computer Science vol. 1210 (1997), 267-283

1995

12.
Marek Zaionc
Lambda representations of operations between different term algebras, Lecture Notes in Computer Science vol. 993 (1995), 91-105

1992

11.
Marek Zaionc
Lambda definability on free algebras, Annals of Pure and Applied Logic vol. 51 (1992), 279-300

1990

10.
Marek Zaionc
A Characterization of Lambda Definable Tree Operations, Information and Computation vol. 89 (1990), 35-46

1989

9.
Marek Zaionc
On the lambda definable higher-order boolean functionals, Fundamenta Informaticae vol. 12 (1989), 181-190
8.
Marek Zaionc
How To Define Functionals on Free Structures in Typed lambda Calculus, Lecture Notes in Computer Science vol. 379 (1989), 566-576

1988

7.
Marek Zaionc
Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus, Journal of Automated Reasoning vol. 4 (1988), 173-190
6.
Marek Zaionc
On the lambda definable tree operations, Lecture Notes in Computer Science vol. 425 (1988), 279-292

1987

5.
Marek Zaionc
Word Operations Definable in the Typed lambda Calculus, Theoretical Computer Science vol. 52 (1987), 1-14
4.
Marek Zaionc
The Regular Expression Descriptions of Unifier Sets in the Typed lambda Calculus, Fundamenta Informaticae vol. 10 (1987), 309-322

1985

3.
Marek Zaionc
Nondeterministic Programs Definable in Typed Lambda Calculus, Fundamenta Informaticae vol. 8 (1985), 63-72
2.
Marek Zaionc
The set of Unifiers in Typed lambda calculus as Regular Expression, Lecture Notes in Computer Science vol. 202 (1985), 430-440

1984

1.
Marian Mrozek, Marek Zaionc
A computer model of evolution and ecological processes, Modeling, Simulation & Control C (1984), 59-63
Przejdź do strony: