Bialgebraic Methods and Modal Logic in Structural Operational Semantics

Information and Computation - United States
doi 10.1016/j.ic.2007.10.006
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Modular Structural Operational Semantics

BRICS Report Series
2015English

Four-Valued Modal Logic: Kripke Semantics and Duality

English

A Rewriting Logic Approach to Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Inductive Assertions and Operational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Neutrosophic Modal Logic

2017English

Operational Semantics: Concepts and Their Expression

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2003English

Complementing Logic Program Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Goal Solving as Operational Semantics

1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy