Marek Zaionc
Orcid: 0000-0003-1132-6690
According to our database1,
Marek Zaionc
authored at least 33 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
2
2
1
1
2
1
1
1
1
1
1
1
1
1
1
1
1
2
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
On csauthors.net:
Bibliography
2024
2020
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020
2019
2018
Special issue on Parallel and distributed computing based on the functional programming paradigm.
Concurr. Comput. Pract. Exp., 2018
2017
2016
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016
2015
Proceedings of the Theory and Applications of Models of Computation, 2015
2013
2010
2009
2008
2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
2005
Reports Math. Log., 2005
2004
Proceedings of the Second Workshop on Computational Logic and Applications, 2004
Proceedings of the Second Workshop on Computational Logic and Applications, 2004
2003
Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003
2000
1997
Proceedings of the Typed Lambda Calculi and Applications, 1997
1994
Proceedings of the Computer Science Logic, 8th International Workshop, 1994
1991
1990
1989
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
1988
Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus.
J. Autom. Reason., 1988
Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988
1987
1985
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985