Results 221 to 230 of about 91,863 (269)
Potassium in dental calculus as an indicator of diabetes. [PDF]
BMC Oral HealthSzepesi Z +4 more
europepmc +1 more source
A numerical framework for fractional and fractal-fractional analysis of the Pehlivan chaotic system using Caputo derivative. [PDF]
Sci RepVinoth R, Jayalakshmi M.
europepmc +1 more source
Giant Pancreatic Duct Calculi in the Common Channel Two Decades Post Choledochojejunostomy: The Synergistic Impact of Persistent Anomalous Pancreaticobiliary Union and an Elongated Blind Stump. [PDF]
CureusGeng D, Liu T, Chen Y, Wang B.
europepmc +1 more source
Heavily ossified renal mass as the initial presentation of primary renal osteosarcoma: a case report. [PDF]
CEN Case RepSah MK +4 more
europepmc +1 more source
Neutrix calculus IIb Special neutrix calculus
Indagationes Mathematicae (Proceedings)openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Calculus of Lambda Calculus Contexts
Journal of Automated Reasoning, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mirna Bognar, Roel C. de Vrijer
openaire +1 more source
The λ-calculus in the π-calculus
Mathematical Structures in Computer Science, 2011A general approach is proposed for transforming objects to methods on the fly in the framework of the π-calculus. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the π-calculus. The encoding is proved to preserve and reflect beta reduction, and is shown to be fully abstract with respect to
Xiaojuan Cai, Yuxi Fu
openaire +1 more source
Journal of Logic, Language and Information, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Glyn Morrill +2 more
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Glyn Morrill +2 more
openaire +2 more sources
1993
Summary: The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator \(|\), and two processes \(p\) and \(q\) are put in parallel by \(p | q\).
Havelund, Klaus, Larsen, K.
openaire +3 more sources
Summary: The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator \(|\), and two processes \(p\) and \(q\) are put in parallel by \(p | q\).
Havelund, Klaus, Larsen, K.
openaire +3 more sources