Cezary Kaliszyk

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Julian Parsert

> Home > Persons > Cezary Kaliszyk

Publications

2023
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/ParsertBJK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ParsertBJK23
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk:
Experiments on Infinite Model Finding in SMT Solving. LPAR 2023: 317-328
2021
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/PurgalPK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/PurgalPK21
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk:
A study of continuous vector representations for theorem proving. J. Log. Comput. 31(8): 2057-2083 (2021)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-09142
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-09142
Stanislaw J. Purgal, Julian Parsert, Cezary Kaliszyk:
A Study of Continuous Vector Representationsfor Theorem Proving. CoRR abs/2101.09142 (2021)
2020
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/gcai/ParsertAK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcai/ParsertAK20
Julian Parsert, Stephanie Autherith, Cezary Kaliszyk:
Property Preserving Embedding of First-order Logic. GCAI 2020: 70-82
2019
[j18]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ParsertK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ParsertK19
Julian Parsert, Cezary Kaliszyk:
Linear Programming. Arch. Formal Proofs 2019 (2019)
2018
[j15]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ParsertK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ParsertK18
Julian Parsert, Cezary Kaliszyk:
Von-Neumann-Morgenstern Utility Theorem. Arch. Formal Proofs 2018 (2018)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/KaliszykP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/KaliszykP18
Cezary Kaliszyk, Julian Parsert:
Formal microeconomic foundations and the first welfare theorem. CPP 2018: 91-101
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/ParsertK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ParsertK18
Julian Parsert, Cezary Kaliszyk:
Towards Formal Foundations for Game Theory. ITP 2018: 495-503
2017
[j12]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/ParsertK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/ParsertK17
Julian Parsert, Cezary Kaliszyk:
Microeconomics and the First Welfare Theorem. Arch. Formal Proofs 2017 (2017)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.