SOME MODEL THEORY OF GUARDED NEGATION von BÁRÁNY, VINCE, BENEDIKT, MICHAEL, CATE, BALDER TEN

Volltext

Guarded Negation von Bárány, Vince, Cate, Balder Ten, Segoufin, Luc

Volltext

Querying the Guarded Fragment von Bárány, Vince, Gottlob, Georg, Otto, Martin

Volltext

Declarative Probabilistic Programming with Datalog von BáRány, Vince, Cate, Balder Ten, Kimelfeld, Benny, Olteanu, Dan, Vagena, Zografoula

Volltext

Querying the Guarded Fragment von Bárány, Vince, Gottlob, Georg, Otto, Martin

Volltext

Expressing cardinality quantifiers in monadic second-order logic over chains von Bárány, Vince, Kaiser, Łukasz, Rabinovich, Alexander

Volltext

Queries with guarded negation von Bárány, Vince, ten Cate, Balder, Otto, Martin

Volltext

Finite satisfiability for guarded fixpoint logic von Bárány, Vince, Bojanczyk, Mikolaj

Volltext

Invariants of Automatic Presentations and Semi-synchronous Transductions von BARANY, Vince

Volltext

Semi-synchronous transductions von BARANY, Vince

Volltext

Guarded Negation von Bárány, Vince, ten Cate, Balder, Segoufin, Luc

Volltext

A Hierarchy of Automatic ω-Words having a Decidable MSO Theory von BARANY, Vince

Volltext

Rewriting Guarded Negation Queries von Bárány, Vince, Benedikt, Michael, ten Cate, Balder

Volltext

A Hierarchy of Automatic [omega]-Words having a Decidable MSO Theory von Bárány, Vince

Volltext

Regularity Problems for Visibly Pushdown Languages von Bárány, Vince, Löding, Christof, Serre, Olivier

Volltext

Cardinality Quantifiers in MLO over Trees von Bárány, Vince, Kaiser, Łukasz, Rabinovich, Alexander

Volltext

A HIERARCHY OF AUTOMATIC w-WORDS HAVING A DECIDABLE MSO THEORY von Barany, Vince

Volltext

Finite Satisfiability for Guarded Fixpoint Logic von Bárány, Vince, Bojańczyk, Mikołaj

Volltext bestellen

Querying the Guarded Fragment von Bárány, Vince, Gottlob, Georg, Otto, Martin

Volltext

Finite Satisfiability for Guarded Fixpoint Logic von Bárány, Vince, Bojańczyk, Mikołaj

Volltext