Fraenkel-Mostowski sets with non-homogeneous atoms

Authors:
Mikołaj Bojańczyk;Sławomir Lasota
Affiliations:
University of Warsaw, Poland;University of Warsaw, Poland
Venue:
RP'12 Proceedings of the 6th international conference on Reachability Problems
Year:
2012

Citing 5
Cited 0

A theory of timed automata

Theoretical Computer Science
Finite-memory automata

Theoretical Computer Science
Automata with Group Actions

LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science
Towards nominal computation

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A machine-independent characterization of timed languages

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fraenkel-Mostowski sets (FM sets) are a variant of set theory, where sets can contain atoms. The existence of atoms is postulated as an axiom. The key role in the theory of FM sets is played by permutations of atoms.