Sciweavers

    37 search results - page 1 / 8
    » fuin 2010
    Sort
    View
    FUIN
    2010
    89views more  FUIN 2010»
    Target Based Accepting Networks of Evolutionary Processors
    15 years 1 months ago
    Target Based Accepting Networks of Evolutionary Processors
    Download  www.informatik.uni-giessen.de
    Bianca Truthe
    claim paper
    Read More »
    FUIN
    2010
    88views more  FUIN 2010»
    Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
    15 years 2 months ago
    Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
    Download  www.mimuw.edu.pl
    Linh Anh Nguyen, Andrzej Szalas
    claim paper
    Read More »
    FUIN
    2010
    76views more  FUIN 2010»
    Church-Rosser Made Easy
    15 years 1 months ago
    Church-Rosser Made Easy
    Download  www.cs.cornell.edu
    The Church
    Dexter Kozen
    claim paper
    Read More »
    FUIN
    2010
    84views more  FUIN 2010»
    Clearing Restarting Automata
    15 years 1 months ago
    Clearing Restarting Automata
    Download  www.informatik.uni-giessen.de
    Peter Cerno, Frantisek Mráz
    claim paper
    Read More »
    FUIN
    2010
    101views more  FUIN 2010»
    A Logic-Based, Reactive Calculus of Events
    15 years 1 months ago
    A Logic-Based, Reactive Calculus of Events
    Download  www.ing.unife.it
    Federico Chesani, Paola Mello, Marco Montali, Paol...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.