BibSonomy

Lesezeichen und Publikationen teilen - in blau!

( en | de | ru )

 

Tag
  • Tag
  • Benutzer
  • Gruppe
  • Autor
  • Konzept
  • BibTeX-Schlüssel
  • Suche
  • Anmelden
  • Registrieren
  • Gruppen
  • Genealogie
  • Beliebt 
    • Einträge
    • Tags
    • Autoren
    • Konzepte
    • Diskussionen
  • Anmelden
  • Registrieren

Anmelden

Melden Sie sich mit Ihrem Benutzernamen an.

@

Ich habe mein Passwort vergessen.


Melden Sie sich mit Ihrem OpenID-Provider an.

  • Other OpenID-Provider
  1. Tag
  2. algorithm problems problem theory subclasses

Publication title

Lesezeichen  (verstecken)
  • Anzeige
  • alles
  • nur Lesezeichen
  • Lesezeichen pro Seite
  • 5
  • 10
  • 20
  • 50
  • 100
  • sortieren nach
  • hinzugefügt am
  • Titel
  • RSS
  • BibTeX
  • XML

    Keine Treffer.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

Publikationen  (verstecken)1  
  • Anzeige
  • alles
  • nur Publikationen
  • Publikationen pro Seite
  • 5
  • 10
  • 20
  • 50
  • 100
  • sortieren nach
  • hinzugefügt am
  • Titel
  • Autor
  • Erscheinungsdatum
  • Eintragstyp
  • Hilfe für erweiterte Sortierung...
  • RSS
  • BibTeX
  • RDF
  • mehr...

  •  

     
    5A theory of timed automata
     

    R. Alur, und D. Dill. Theoretical Computer Science, 126 (2): 183--235 (April 1994)
    vor 19 Jahren von @schaal
    alle anzeigen
    • acceptance
    • algorithm
    • automata
    • boolean
    • buchi
    • clocks
    • closure
    • conditions
    • constraints
    • decision
    • finite
    • finitely
    • formal
    • functions
    • graphs
    • inclusion
    • infinite
    • intersection
    • language
    • languages
    • many
    • muller
    • operations
    • problem
    • problems
    • properties
    • pspace
    • real-time
    • real-valued
    • sequences
    • state-transition
    • subclasses
    • systems
    • theory
    • timed
    • timing
    • union
    • universality
     
      acceptancealgorithmautomatabooleanbuchiclocksclosureconditionsconstraintsdecisionfinitefinitelyformalfunctionsgraphsinclusioninfiniteintersectionlanguagelanguagesmanymulleroperationsproblemproblemspropertiespspacereal-timereal-valuedsequencesstate-transitionsubclassessystemstheorytimedtimingunionuniversality
      (0)
      KopierenLöschenDiese Publikation zur Ablage hinzufügen
      • Community-Eintrag
      • Versionsverlauf dieses Eintrags
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    Stöbern

    • algorithm als Konzept von allen Benutzern
    • theory als Konzept von allen Benutzern
    • algorithm problems problem theory subclasses als Konzept von allen Benutzern

    Verwandte Tags

    • + | acceptance
    • + | languages
    • + | many
    • + | muller
    • + | operations
    • + | properties
    • + | pspace
    • + | real-time
    • + | real-valued
    • + | sequences
    • + | state-transition
    • + | systems
    • + | timed
    • + | timing
    • + | union
    • + | language
    • + | intersection
    • + | infinite
    • + | automata
    • + | boolean
    Was ist BibSonomy?
    Erste Schritte
    Browser Buttons
    Hilfe
    Entwickler
    Überblick
    API-Dokumentation
    Kontakt und Datenschutz
    Impressum
    Datenschutz & AGB
    Cookies
    Probleme melden
    BibSonomy Wiki
    Integration
    PUMA
    TYPO3 Extension
    WordPress Plugin
    Java REST Client
    Unterstützte Kataloge
    mehr
    Über BibSonomy
    Team
    Weblog
    Mailing Liste
    Social Media
     Folge uns auf Twitter

    BibSonomy wird vom Data Science Lehrstuhl der Universität Würzburg, der Information Processing and Analytics Gruppe der Humboldt-Unversität zu Berlin, dem FG Wissensverarbeitung der Universität Kassel, und vom Forschungszentrum L3S betrieben.