1.1 Interactive proofs with deterministic verifier and prover

We present a decision procedure to determine equivalence of generalized regular expressions, which specify behaviors of many types of transition systems, including Mealy

Was sicherlich innovativ ist (und was in eine 'linguistische' Einführung in die Konversationsanalyse gehört!), sind die da- rauffolgenden Abschnitte zu sprachlichen Ressourcen, die

Von diesem Standpunkt aus ist es folgerichtig, dass die Herausgeber und ihre Autorinnen und Autoren Reparaturen als Typ konversationeller Verfahren nicht durch eine alle

Asif Agha entwickelt in Language and Social Relations eine Perspektivierung von gleichermaßen Sprache in ihrer sozialen Einbettung und Gesellschaft in ihrer sprachlichen

As the volume increases, the heat capacity contains a contribution (Fig. 1) which relaxes increasingly slowly near the transition temperature leading to longer waiting time for

U m s o wichtiger ist Rossis Klarstellung, dass auch die klassisch antike Mathematik keine Einheit war, dass Archimedes beispielsweise Jt noch nicht als Zahl, sondern als

underestimation of the grammatical category of number, namely, that number is just an opposition of singular vs. plural, that all relevant items will mark number, that items which

c) Specify the property that the elevator only opens the door if the current floor was actually requested.. Prove