Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/ABerghammer, R;Möller, Bernhard;Struth, GeorgRead- Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene AlgBerghammer, R;Jaoua, Ali Mohamed;Möller, BernhardRead
- Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKASchmidt, Renate ARead
- Stochastic coalgebraic logicDoberkat, Ernst-ErichRead
Formal analysis of 2D image processing filters using higher-order logic theorem proving4 days agoRead- Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation210 days agoRead
- Axioms, Vol. 10, Pages 273: Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics249 days agoRead
- Axioms, Vol. 11, Pages 183: Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics74 days agoRead
- Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices637 days agoRead
- Implicational quantum logic160 days agoRead
- MAKE, Vol. 4, Pages 432-445: Knowledgebra: An Algebraic Learning Framework for Knowledge Graph57 days agoRead
- Mathematics, Vol. 8, Pages 1694: Nonstandard Analysis, Deformation Quantization and Some Logical Aspects of (Non)Commutative Algebraic Geometry637 days agoRead
- Quantum Reports, Vol. 3, Pages 643-655: An Application of Quantum Logic to Experimental Behavioral Science267 days agoRead
- Mathematics, Vol. 10, Pages 622: Fuzzy Algebraic Modeling of Spatiotemporal Timeseries’ Paradoxes in Cosmic Scale Kinematics134 days agoRead
- Paraconsistent Belief Revision: An Algebraic Investigation62 days agoRead
- Massively parallel classical logic via coherent dynamics of an ensemble of quantum systems with dispersion in size [Applied Physical Sciences]667 days agoRead
- Mathematics, Vol. 8, Pages 1513: Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras665 days agoRead
- A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation664 days agoRead
- A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts664 days agoRead
- A Power Associative Loop Structure for the Construction of Non-Linear Components of Block Cipher664 days agoRead
- Mathematics, Vol. 9, Pages 252: Towards a Notion of Basis for Knowledge-Based Systems— Applications520 days agoRead
- Logical control approach to fuel efficiency optimization for commuting vehicles1918 days agoRead
- Adaptive Dynamic Surface Control Based on Observer for Switched Non-Strict Feedback Systems With Full State Constraints664 days agoRead
- Information, Vol. 12, Pages 309: Reasoning Method between Polynomial Error Assertions336 days agoRead
- Philosophies, Vol. 6, Pages 84: A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy262 days agoRead
- Event-Triggered Fuzzy Adaptive Leader-Following Tracking Control of Nonaffine Multiagent Systems With Finite-Time Output Constraint and Input Saturation91 days agoRead
- Radical Pooling and Imprecise Probabilities85 days agoRead
- Characterizations and Applications of Fuzzy Implications Generated by a Pair of Generators of T-Norms and the Usual Addition of Real Numbers28 days agoRead
- Non-commutative multiple-valued logic algebrasCiungu, Lavinia CorinaRead
- Functions and generality of logic : reflections on Dedekind's and Frege's logicismsBenis-Sinaceur, Hourya;Panza, Marco;Sandu, GabrielRead
- Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, ProceedingsKahl, W;Oliveira, José N;Winter, MichaelRead
- Equationally-defined commutator : a study in equational logic and algebra, TheCzelakowski, JanuszRead
- Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, ProceedingsHöfner, Peter;Pous, Damien;Struth, GeorgRead
- Algebraic theories : a categorical introduction to general algebraAdaÌmek, JirÌiÌ;RosickyÌ, JirÌiÌ;Vitale, E. MRead
- Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, BadBerghammer, Rudolf;MoÌller, Bernhard;Struth, GeorgRead
- Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1–4, 1988 ProceedingsBergman, Clifford H;Maddux, Roger D;Pigozzi, Don LRead
- Cafe : an industrial-strength algebraic formal methodFutatsugi, Kokichi;Nakagawa, A. T;Tamai, TRead
- Stochastic Coalgebraic LogicDoberkat, Ernst-ErichRead
- Residuated lattices : an algebraic glimpse at substructural logicsGalatos, NikolaosRead
- Medicine - All Feeds
- Allergology and Immunology
- Anatomy and Physiology
- Anesthesiology and Intensive Care
- Biochemistry
- Bioengineering
- Biophysics
- Biotechnology
- Cardiology
- Cardiothoracic Surgery
- Clinical Chemistry
- Clinical Medicine
- Complementary Medicine
- Cytology and Histology
- Dentistry
- Dermatology
- Endocrinology
- Forensic Medicine
- Gastroenterology
- General Practice
- Genetics
- Geriatrics
- Health services and Administration
- Hematology
- Infectious Diseases
- Internal Medicine
- Logopedics
- Medical Education and Humanities
- Medical Microbiology
- Medicine - Other
- Nephrology
- Neurology
- Neurosurgery
- Nursing
- Nutritional Sciences
- Obstetrics and Gynecology
- Occupational Health
- Oncology
- Ophthalmology
- Oral and Maxillofacial Surgery
- Orthopedics and Traumatology
- Otorhinolaryngology and Phoniatrics
- Pathology
- Pediatrics
- Pharmacology and Pharmacotherapy
- Physical and Rehabilitation Medicine
- Plastic Surgery
- Psychiatry
- Psychology
- Public Health
- Radiology
- Respiratory Medicine
- Rheumatology
- Sports Medicine
- Surgery
- Urology
