Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
international text » international tax, international context, international treaty
array processing » dairy processing, query processing
array string » arrays strings, array sharing, array forming
array strong » array sharing, norway strong, stay strong
international text » international tax, international context, international treaty
array processing » dairy processing, query processing
array string » arrays strings, array sharing, array forming
array strong » array sharing, norway strong, stay strong
1
Published 2010
Table of Contents:
“... -- On the Satisfiability of Two-Variable Logic over Data Words -- Generic Methods for Formalising Sequent Calculi Applied...”View full text
Electronic
eBook
