Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antje Rumberg
Transition Semantics for Branching Time
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
Related publications
Comparative Branching-Time Semantics for Markov Chains
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Decisions in Branching Time
Nuel Belnap on Indeterminism and Free Action
Multi-Type Branching Processes With Time-Dependent Branching Rates
Journal of Applied Probability
Mathematics
Statistics
Uncertainty
Probability
Branching Ratios, Radiative Lifetimes and Transition Dipole Moments for YbOH
Journal of Physical Chemistry A
Medicine
Theoretical Chemistry
Physical
Time for the Transition
Innovative Higher Education
Education
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
First-Order Logics of Branching Time
Logical Investigations
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Strategy Based Semantics for Mobility With Time and Access Permissions
Formal Aspects of Computing
Theoretical Computer Science
Software
