


default search action
Journal of Logical and Algebraic Methods in Programming, Volume 124
Volume 124, January 2022
- Mark Bickford, Dexter Kozen, Alexandra Silva:
Formalizing Moessner's theorem and generalizations in Nuprl. 100713
- Ornela Dardha
, Jorge A. Pérez
:
Comparing type systems for deadlock freedom. 100717
- Anna Philippou
, Kyriaki Psara
:
Reversible computation in nets with bonds. 100718
- Mark-Oliver Stehr
, Minyoung Kim, Carolyn L. Talcott:
A probabilistic approximate logic for neuro-symbolic learning and reasoning. 100719
- Eva Graversen
, Iain Phillips
, Nobuko Yoshida
:
Event structures for the reversible early internal π-calculus. 100720
- Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Simulating and model checking membrane systems using strategies in Maude. 100727 - Rubén Rubio
, Narciso Martí-Oliet
, Isabel Pita
, Alberto Verdejo
:
Metalevel transformation of strategies. 100728 - María Alpuente
, Demis Ballis, Santiago Escobar
, Julia Sapiña:
Optimization of rewrite theories by equational partial evaluation. 100729
- Roland Carl Backhouse
, Henk Doornbos, Roland Glück, Jaap van der Woude:
Components and acyclicity of graphs. An exercise in combining precision with concision. 100730
- Hannah Gommerstadt, Limin Jia
, Frank Pfenning:
Session-typed concurrent contracts. 100731

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.