default search action

combined dblp search
author search
venue search
publication search

ask others

27th WADT 2024: Enschede, The Netherlands

> Home > Conferences and Workshops > WADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adt/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/2024
Ionut Tutu:
Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers. Lecture Notes in Computer Science 15587, Springer 2025, ISBN 978-3-031-88929-5

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/adt/BergstraT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/BergstraT24
Jan A. Bergstra, John V. Tucker:
Finite Approximations of the Common Meadow of Rational Numbers. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MollerD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MollerD24
Bernhard Möller, Jules Desharnais:
Some Uses of Modal Semirings. 23-45

Contributed Papers

- view
  authority control:
- export record
  dblp key:
  - conf/adt/KonigW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/KonigW24
Harald König, Uwe Wolter:
Bialgebraic Representation of Coordination Frameworks. 49-74
- view
  authority control:
- export record
  dblp key:
  - conf/adt/GkantzounisS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/GkantzounisS24
Asterios Gkantzounis, Petros Stefaneas:
Topological Inquiry in Abstract Model Theory. 75-93
- view
  authority control:
- export record
  dblp key:
  - conf/adt/FreireMM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/FreireMM24
Alfredo R. Freire, Manuel A. Martins, Alexandre Madeira:
The Institution of Many-Logics Modal Logic. 94-110
- view
  authority control:
- export record
  dblp key:
  - conf/adt/CeragioliLT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/CeragioliLT24
Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi:
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers. 111-133

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.