Alban Ponse

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 15

Top Topics

Probability Function

Propositional Logic

Top Venues

J. Appl. Non Class. Logics

Software, Services, and Systems

Acta Informatica

Publications

Alban Ponse, Daan J. C. Staudt
Fully Evaluated Left-Sequential Logics. CoRR (2024)
Jan A. Bergstra, Alban Ponse
Conditional logic as a short-circuit logic. CoRR (2023)
Dalia Papuc, Alban Ponse
Non-commutative propositional logic with short-circuited biconditional and NAND. CoRR (2022)
Jan A. Bergstra, Alban Ponse
Datatype defining rewrite systems for naturals and integers. Log. Methods Comput. Sci. 17 (1) (2021)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Non-commutative propositional logic with short-circuit evaluation. J. Appl. Non Class. Logics 31 (3-4) (2021)
Jan A. Bergstra, Alban Ponse
Arithmetical datatypes with true fractions. Acta Informatica 57 (3-5) (2020)
Alban Ponse, Daan J. C. Staudt
An independent axiomatisation for free short-circuit logic. J. Appl. Non Class. Logics 28 (1) (2018)
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant. CoRR (2018)
Alban Ponse, Daan J. C. Staudt
An independent axiomatization for free short-circuit logic. CoRR (2017)
Jan A. Bergstra, Alban Ponse
Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. CoRR (2016)
Jan A. Bergstra, Alban Ponse
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract). WADT (2016)
Jan A. Bergstra, Alban Ponse
Evaluation trees for proposition algebra. CoRR (2015)
Jan A. Bergstra, Alban Ponse
Division by Zero in Common Meadows. Software, Services, and Systems (2015)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Equations for formally real meadows. J. Appl. Log. 13 (2) (2015)
Jan A. Bergstra, Alban Ponse
Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof Valuation Congruence. Correct System Design (2015)
Jan A. Bergstra, Alban Ponse
Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. CoRR (2014)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Equations for formally real meadows. CoRR (2013)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Cancellation Meadows: A Generic Basis Theorem and Some Applications. Comput. J. 56 (1) (2013)
Jan A. Bergstra, Alban Ponse
Proposition Algebra and Short-Circuit Logic. FSEN (2011)
Inge Bethke, Alban Ponse, Piet Rodenburg
Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday. Theor. Comput. Sci. 412 (28) (2011)
Jan A. Bergstra, Alban Ponse
Proposition algebra. ACM Trans. Comput. Log. 12 (3) (2011)
Jan A. Bergstra, Alban Ponse
Short-circuit logic CoRR (2010)
Jan A. Bergstra, Alban Ponse
On Hoare-McCarthy algebras CoRR (2010)
Jan A. Bergstra, Alban Ponse
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. Sci. Ann. Comput. Sci. 19 (2009)
Jan A. Bergstra, Alban Ponse
A progression ring for interfaces of instruction sequences, threads, and services CoRR (2009)
Jan A. Bergstra, Alban Ponse
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms CoRR (2009)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Cancellation Meadows: a Generic Basis Theorem and Some Applications. CoRR (2008)
Jan A. Bergstra, Alban Ponse
An Instruction Sequence Semigroup with Repeaters CoRR (2008)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Tuplix Calculus. Sci. Ann. Comput. Sci. 18 (2008)
Jan A. Bergstra, Alban Ponse
Proposition Algebra with Projective Limits CoRR (2008)
Jan A. Bergstra, Alban Ponse
Differential Meadows. CoRR (2008)
Alban Ponse, Mark van der Zwaag
Risk Assessment for One-Counter Threads. Theory Comput. Syst. 43 (3-4) (2008)
Jan A. Bergstra, Alban Ponse
Execution architectures for program algebra. J. Appl. Log. 5 (1) (2007)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Tuplix Calculus CoRR (2007)
Alban Ponse, Mark van der Zwaag
A generalization of ACP using Belnap's logic. J. Log. Algebraic Methods Program. 70 (2) (2007)
Alban Ponse, Mark van der Zwaag
Belnap's logic and conditional composition. Theor. Comput. Sci. 388 (1-3) (2007)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Decision problems for pushdown threads. Acta Informatica 44 (2) (2007)
Jan A. Bergstra, Alban Ponse
Interface groups and financial transfer architectures CoRR (2007)
Jan A. Bergstra, Alban Ponse
Projection semantics for rigid loops CoRR (2007)
Alban Ponse, Mark van der Zwaag
An Introduction to Program and Thread Algebra. CiE (2006)
Alban Ponse, Mark van der Zwaag
A Generalization of ACP Using Belnap's Logic. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jan A. Bergstra, Alban Ponse
A Bypass of Cohen's Impossibility Result. EGC (2005)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. 309 (1-3) (2003)
Jan A. Bergstra, Alban Ponse
Combining programs and state machines. J. Log. Algebraic Methods Program. 51 (2) (2002)
Alban Ponse
Program algebra with unit instruction operators. J. Log. Algebraic Methods Program. 51 (2) (2002)
Jan A. Bergstra, Alban Ponse
Register-machine based processes. J. ACM 48 (6) (2001)
Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
Linearization in parallel pCRL. J. Log. Algebraic Methods Program. 48 (1-2) (2001)
Alban Ponse, Yaroslav S. Usenko
Equivalence of recursive specifications in process algebra. Inf. Process. Lett. 80 (1) (2001)
Jan A. Bergstra, Alban Ponse
Non-regular iterators in process algebra. Theor. Comput. Sci. 269 (1-2) (2001)
Jan A. Bergstra, Alban Ponse
Process algebra and conditional composition. Inf. Process. Lett. 80 (1) (2001)
Jan A. Bergstra, Alban Ponse
Process Algebra with Four-Valued Logic. J. Appl. Non Class. Logics 10 (1) (2000)
Jan A. Bergstra, Alban Ponse
Kleene's Three-Valued Logic and Process Algebra. Inf. Process. Lett. 67 (2) (1998)
Jan A. Bergstra, Alban Ponse
Bochvar-McCarthy Logic and Process Algebra. Notre Dame J. Formal Log. 39 (4) (1998)
Jan A. Bergstra, Alban Ponse
Grid Protocol Specifications. Prospects for Hardware Foundations (1998)
Alban Ponse, Chris Verhoef, Bas van Vlijmen
Algebra of Communicating Processes - Preface to the Special Issue. Theor. Comput. Sci. 177 (2) (1997)
Marc Bezem, Alban Ponse
Two Finite Specifications of a Queue. Theor. Comput. Sci. 177 (2) (1997)
Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse
Grid Protocols Based on Synchronous Communication. Sci. Comput. Program. 29 (1-2) (1997)
Alban Ponse
Computable Processes and Bisimulation Equivalence. Formal Aspects Comput. 8 (6) (1996)
Jan Friso Groote, Alban Ponse
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Aspects Comput. 6 (2) (1994)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Process Algebra with Iteration and Nesting. Comput. J. 37 (4) (1994)
Jan Friso Groote, Alban Ponse
Proof Theory for µCRL: A Language for Processes with Data. Semantics of Specification Languages (1993)
Jan A. Bergstra, Inge Bethke, Alban Ponse
Process Algebra with Combinators. CSL (1993)
Jan A. Bergstra, Alban Ponse, Jos van Wamel
Process Algebra with Backtracking. REX School/Symposium (1993)
Jan Friso Groote, Alban Ponse
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR (1991)
Alban Ponse
Process Expressions and Hoare's Logic: Showing an Irreconcilability of Context-Free Recursion with Scott's Induction Rule Inf. Comput. 95 (2) (1991)