Amanote Research

Amanote Research

    RegisterSign In

A Symbolic Approach to Permission Accounting for Concurrent Reasoning

doi 10.1109/ispdc.2015.26
Full Text
Open PDF
Abstract

Available in full text

Date

June 1, 2015

Authors
Marieke HuismanWojciech Mostowski
Publisher

IEEE


Related search

Symbolic Reasoning for Hearthstone

IEEE Transactions on Games
2018English

A Symbolic Approach to Quantum Computation Simulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Concurrent Approach to Teaching Concurrent Design Engineering

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

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

The Ethno-Symbolic Approach to Identity

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

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

A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy