A Complete Axiomatization for Blocks World (Q4434615)

From MaRDI portal
scientific article; zbMATH DE number 2002256
Language Label Description Also known as
English
A Complete Axiomatization for Blocks World
scientific article; zbMATH DE number 2002256

    Statements

    A Complete Axiomatization for Blocks World (English)
    0 references
    0 references
    0 references
    10 November 2003
    0 references
    Ehrenfeucht-Fraïssé games
    0 references
    definable predicates
    0 references

    Identifiers