E-Unification for Subsystems of S4

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0052364
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Application Complexity Assessment for Optimization of Management Subsystems

Business Strategies
2014English

Figure S4: Fig. S4

English

Dataset S4: Group I E. Coli Similarity Matrix

English

Einstein: Unification Theory and Unification of Basic Forces-Ii

American Journal of Physics and Applications
2015English

Coordinated Control for a Group of Interconnected Pairwise Subsystems

Mathematical Problems in Engineering
MathematicsEngineering
2013English

A Polynomial Translation of S4 Into T and Contraction-Free Tableaux for S4

Logic Journal of the IGPL
Philosophy
1997English

Unification Neural Networks: Unification by Error-Correction Learning

Logic Journal of the IGPL
Philosophy
2010English

A Modular VLSI Implementation Architecture for Communication Subsystems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy