Pages that link to "Item:Q1801210"

From MaRDI portal

← Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings (Q1801210)

Jump to:navigation, search

The following pages link to Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings (Q1801210):

Displaying 2 items.

Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275) (← links)
Complete proof systems for weighted modal logic (Q2253184) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1801210"