Amanote Research

Amanote Research

    RegisterSign In

A Language With Finite Sets Embedded in the CLP-scheme

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-58025-5_51
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 1994

Authors
Agostino Dovier
Publisher

Springer Berlin Heidelberg


Related search

Compiling Intensional Sets in CLP

1994English

Finite Groups With Weakly S-Embedded Subgroups

International Mathematical Forum
2017English

Strongly Adequate Sets and Adding a Club With Finite Conditions

Archive for Mathematical Logic
PhilosophyLogic
2013English

Representatives for Finite Sets

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1989English

Compiling a Functional Logic Language: The Fair Scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Predictable Communication Scheme for Embedded Multiprocessor Systems

2006English

A Simple Finite Element Method for Elliptic Bulk Problems With Embedded Surfaces

Computational Geosciences
Computational TheoryComputer Science ApplicationsComputers in Earth SciencesComputational MathematicsMathematics
2018English

Counting MSTD Sets in Finite Abelian Groups

Journal of Number Theory
Number TheoryAlgebra
2010English

Exact Finite-Difference Scheme and Nonstandard Finite-Difference Scheme for Coupled Burgers Equation

Advances in Difference Equations
Applied MathematicsNumber TheoryAnalysisAlgebra
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy