Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

André Duarte 0002

> Home > Persons

Person information

affiliation: University of Manchester, Department of Computer Science, UK

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/DuarteK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DuarteK22
André Duarte, Konstantin Korovin:
Ground Joinability and Connectedness in the Superposition Calculus. IJCAR 2022: 169-187
2021
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/DuarteK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/DuarteK21
André Duarte, Konstantin Korovin:
AC Simplifications and Closure Redundancies in the Superposition Calculus. TABLEAUX 2021: 200-217
2020
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DuarteK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DuarteK20
André Duarte, Konstantin Korovin:
Implementing Superposition in iProver (System Description). IJCAR (2) 2020: 388-397

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08409
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08409
André Duarte, Konstantin Korovin:
AC Simplifications and Closure Redundancies in the Superposition Calculus. CoRR abs/2107.08409 (2021)

Coauthor Index

see FAQ

a service of

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.