Probabilistic Real-Time Rewrite Theories and Their Expressive Power

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24310-3_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

1997English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Technological Aspect in Real Time Bidding: A Probabilistic Approach

2018English

War Crimes and Expressive Theories of Punishment: Communication or Denunciation?

Res Publica
PhilosophyLaw
2010English

Expressive Power of Pebble Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Expressive Power of Parallelism

Future Generation Computer Systems
HardwareComputer NetworksSoftwareArchitectureCommunications
1990English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Real-Time Determination of Power System Frequency

IEEE Transactions on Instrumentation and Measurement
Electronic EngineeringElectricalInstrumentation
1997English

Probabilistic Modelling, Inference and Learning Using Logical Theories

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy