Amanote Research

Amanote Research

  • Register
  • Sign In

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

doi 10.1109/ispdc.2015.26

Full Text

Abstract

Available in

Date

June 1, 2015

Authors

Marieke HuismanWojciech Mostowski

Publisher

IEEE


Related search

Symbolic Reasoning for Hearthstone

IEEE Transactions on Games
2018English

Concurrent Approach to Teaching Concurrent Design Engineering

Proceedings of the Canadian Engineering Education Association (CEEA)
2011English

A Symbolic Approach to Quantum Computation Simulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Weighted Approach to Partial Matching for Mobile Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A General Symbolic Approach to Kolmogorov-Sinai Entropy

Entropy
Electronic EngineeringInformation SystemsMathematical PhysicsElectricalAstronomyPhysics
2017English

A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Banzhaf Permission Values for Games With a Permission Structure

2003English

The Ethno-Symbolic Approach to Identity

Problems of Archaeology, Ethnography, Anthropology of Siberia and Neighboring Territories
2018English

Symbolic Diagnosis of Partially Observable Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote


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

Privacy PolicyRefund Policy