BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
weight (4)
theorem (2)
automata (2)
logic (2)
approach (1)

Stem nivat$ (all stems)

4 papers:

ICALPICALP-v2-2015-KariS #algebra #approach #geometry
An Algebraic Geometric Approach to Nivat’s Conjecture (JK, MS), pp. 273–285.
LATALATA-2015-BabariD #automaton #logic #theorem
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (PB, MD), pp. 703–715.
ICALPICALP-v2-2014-DrosteP #automaton #distance #logic #theorem
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic (MD, VP), pp. 171–182.
A Note on a Result of Daurat and Nivat (SB, GL, AL), pp. 189–198.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.