default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 35

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 35, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Fiore25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Fiore25
Marcelo Fiore:
An axiomatics and a combinatorial model of creation/annihilation operators.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HonsellLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HonsellLS25
Furio Honsell, Marina Lenisa, Ivan Scagnetto:
Principal types as partial involutions.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/XuHY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/XuHY25
Xian Xu, Yan Huang, Zhihuan Yao:
On higher-order communication in ambient calculi.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BlackburnBK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BlackburnBK25
Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod:
Prior's ideal language.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Perkov25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Perkov25
Tin Perkov:
Transformation of any Verbrugge model to a bisimilar Veltman model.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/MoroniT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/MoroniT25
Martín Santiago Moroni, Pedro Sánchez Terraf:
A classification of bisimilarities for general Markov decision processes.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/EhrhardW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/EhrhardW25
Thomas Ehrhard, Aymeric Walch:
Coherent Taylor expansion as a bimonad.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LiSWXZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LiSWXZ25
Gaolin Li, Chong Shen, Kaiyun Wang, Xiaoyong Xi, Dongsheng Zhao:
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/SprungerK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/SprungerK25
David Sprunger, Shin-ya Katsumata:
Differentiable causal computations via delayed trace (extended version).
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BilkovaFKM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BilkovaFKM25
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer:
Two-layered logics for probabilities and belief functions over Belnap-Dunn logic.
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/WuXY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/WuXY25
Guojun Wu, Luoshan Xu, Wei Yao:
sL-approximation spaces capture sL-domains.

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.