Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Salvador España

A Memoizing Semantics for Functional Logic Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Related publications

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Supercover Semantics for Deontic Action Logic

Journal of Logic, Language and Information
LinguisticsPhilosophyComputer ScienceLanguage
2019English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Complementing Logic Program Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Declarative Semantics for Contradictory Modular Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Rewriting Logic Approach to Operational Semantics

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy