A Nonadaptive NC Checker for Permutation Group Intersection

doi 10.1109/ccc.1997.612316
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Intersection Matrices for Finite Permutation Groups

Journal of Algebra
Number TheoryAlgebra
1967English

Individual Testing Is Optimal for Nonadaptive Group Testing in the Linear Regime

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2019English

Analysis on the Properties of a Permutation Group

International Journal of Theoretical and Applied Mathematics
2017English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Theo-Primitive Components of a Regular Ordered Permutation Group

Pacific Journal of Mathematics
Mathematics
1979English

Isoscalar Factors of the Permutation Group

Few-Body Systems
OpticsAtomicMolecular Physics,
1999English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On the Number of Fixed Point Free Elements in a Permutation Group

Discrete Mathematics
CombinatoricsTheoretical Computer ScienceDiscrete Mathematics
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy