On Interval Dynamic Logic: Introducing Quasi-Action Lattices

Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.01.007
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Elsevier BV

Related search

The Generalized Interval Topology on Distributive Lattices

Pacific Journal of Mathematics
Mathematics
1975English

Dynamic Measurements on Ordered Lattices

Physica B: Condensed Matter
Electronic EngineeringCondensed Matter PhysicsOpticalElectricalMagnetic MaterialsElectronic
1996English

Logic of Interval Uncertainty

Modern Applied Science
2014English

Logic and Lattices for Distributed Programming

2012English

On Cautiousness and Expressiveness in Interval-Valued Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Introducing the Logic and Law Corner

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Interval-Valued Logic Metric Spaces

2018English

Modelling of Lattices of Two-Dimensional Quasi-Crystals

Uspehi Fiziki Metallov
SurfacesMaterials ScienceAlloysCondensed Matter PhysicsFluid FlowMetalsFilmsOpticalMagnetic MaterialsTransfer ProcessesCoatingsElectronic
2019English

The Quasi-Isometry Classification of Rank One Lattices

Publications Mathématiques
Mathematics
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy