×

Found 6 Documents (Results 1–6)

Semantic equivalence of graph polynomials definable in second order logic. (English) Zbl 1478.05078

Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 279-296 (2016).
MSC:  05C31 03B16
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software