scientific article; zbMATH DE number 2006638

zbMATH Open1024.03028MaRDI QIDQ4436034FDOQ4436034

Authors: Peter H. Schmitt 

Publication date: 23 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830191.htm

Title of this publication is not available (Why is that?)

Recommendations

• Fixed Point Logics
• Infinitary logic and inductive definability over finite structures
• Publication:3204446
• A short tutorial on order-invariant first-order logic
• Successor-invariant first-order logic on finite structures

zbMATH Keywords

UMLOCL

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cited In (1)

• More on looping vs. repeating in dynamic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436034)