Automatically assigned DDC number: 004015113

Manually assigned DDC number: 004015113

Number of references: 28

Title: Languages, Automata, and Logic

Author:

Subject: Wolfgang Thomas Languages, Automata, and Logic

Description: This paper is a survey on logical aspects of finite automata. Central points are the connection between finite automata and monadic second-order logic, the Ehrenfeucht-Fraiss'e technique in the context of formal language theory, finite automata on !-words and their determinization, and a self-contained proof of the "Rabin Tree Theorem". Sections 5 and 6 contain material presented in a lecture series to the "Final Winter School of AMICS" (Palermo, February 1996). A modified version of the paper will be a chapter of the "Handbook of Formal Language Theory", edited by G. Rozenberg and A. Salomaa, to appear in Springer-Verlag. Keywords: Finite automata, monadic second-order logic, first-order logic, regular languages, star-free languages, tree automata, Ehrenfeucht-Fraiss'e game, !-automata, temporal logic, Buchi automata, Rabin tree automata, determinacy, decidable theories. Contents 1 Introduction 1 2 Models and Formulas 2 2.1 Words, Trees, and Graphs as Models . . . . . . . . . . ....

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-10-16

Pubyear: 1996

Format: ps

Identifier: http://citeseer.ist.psu.edu/52129.html

Source: http://www.informatik.uni-kiel.de/~theorie/Papers/GruppeThomas/report9607.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/53632.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="126"   Title="A   theory   of   timed   automata,">

            <identifier   Org="ISBN:1586035703"   Paper_ID="/53632.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1852338954"   Paper_ID="/53632.html"   Extracted="1852338954"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540222618"   Paper_ID="/53632.html"   Extracted="3540222618"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="/53632.html"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540230688"   Paper_ID="/53632.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540265465"   Paper_ID="/53632.html"   Extracted="3540265465"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540424873"   Paper_ID="/53632.html"   Extracted="3540424873"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/53632.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540583297"   Paper_ID="/53632.html"   Extracted="3540583297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600841"   Paper_ID="/53632.html"   Extracted="3540600841"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/53632.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/53632.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/53632.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/53632.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540694056"   Paper_ID="/53632.html"   Extracted="3540694056"   />

            <identifier   Org="ISBN:3540712089"   Paper_ID="/53632.html"   Extracted="3540712089"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/53632.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/53632.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540958908"   Paper_ID="/53632.html"   Extracted="3540958908"   />

      </rec>

      <rec   ID="/70445.html"   Type="inproceedings"   CiteSeer_Book="Fifth   Annual   IEEE   Symposium   on   Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="{R}eal-{T}ime   {L}ogics:   {C}omplexity   and   {E}xpressiveness,"   />

      <rec   ID="/566134.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="calculus   on   trees   and   Rabin's   complementation   theorem,">

            <identifier   Org="ISBN:0262082896"   Paper_ID="/566134.html"   Extracted="0262082896"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:1402001398"   Paper_ID="/566134.html"   Extracted="1402001398"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/566134.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/342910.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   7th   International   Conference   On   Computer   Aided   Verification"   CiteSeer_Volume=""   Title="Hardware   verification   using   Monadic   Second-order   Logic,">

            <identifier   Org="ISBN:0817642072"   Paper_ID="/342910.html"   Extracted="0817642072"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/342910.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3110178214"   Paper_ID="/342910.html"   Extracted="3110178214"   DDC="415/.01/51"   Normalized_DDC="4150151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540002960"   Paper_ID="/342910.html"   Extracted="3540002960"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540223452"   Paper_ID="/342910.html"   Extracted="3540223452"   DDC="006.333"   Normalized_DDC="006333"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424911"   Paper_ID="/342910.html"   Extracted="3540424911"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/342910.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/342910.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/342910.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/342910.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/342910.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540645705"   Paper_ID="/342910.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540651918"   Paper_ID="/342910.html"   Extracted="3540651918"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/342910.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/100435.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   23th   International   Colloquium   on   Automata   Languages   and   Programming   ICALP96"   CiteSeer_Volume=""   Title="On   infinite   transition   graphs   having   a   decidable   monadic   theory,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/100435.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1402012705"   Paper_ID="/100435.html"   Extracted="1402012705"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540002251"   Paper_ID="/100435.html"   Extracted="3540002251"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540004289"   Paper_ID="/100435.html"   Extracted="3540004289"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/100435.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540255931"   Paper_ID="/100435.html"   Extracted="3540255931"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540265465"   Paper_ID="/100435.html"   Extracted="3540265465"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540287027"   Paper_ID="/100435.html"   Extracted="3540287027"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/100435.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/100435.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/100435.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540438645"   Paper_ID="/100435.html"   Extracted="3540438645"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/100435.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/100435.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/100435.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354074455X"   Paper_ID="/100435.html"   Extracted="354074455X"   />

            <identifier   Org="ISBN:3540875301"   Paper_ID="/100435.html"   Extracted="3540875301"   />

      </rec>

      <rec   ID="/357898.html"   Type="inproceedings"   CiteSeer_Book="A   Decade   of   ConcurrencyReflections   and   Perspectives"   CiteSeer_Volume=""   Title="{V}erification   {T}ools   for   {F}inite   {S}tate   {C}oncurrent   {S}ystems,"   />

      <rec   ID="/598582.html"   Type="article"   CiteSeer_Book="Journal   of   Computer   and   System   Sciences"   CiteSeer_Volume="46"   Title="On   the   Expressive   Power   of   Temporal   Logic,">

            <identifier   Org="ISBN:0444516905"   Paper_ID="/598582.html"   Extracted="0444516905"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0691034362"   Paper_ID="/598582.html"   Extracted="0691034362"   DDC="670.42"   Normalized_DDC="67042"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/598582.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:078033762X"   Paper_ID="/598582.html"   Extracted="078033762X"   />

            <identifier   Org="ISBN:081862082X"   Paper_ID="/598582.html"   Extracted="081862082X"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/598582.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540249982"   Paper_ID="/598582.html"   Extracted="3540249982"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540404317"   Paper_ID="/598582.html"   Extracted="3540404317"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/598582.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540442391"   Paper_ID="/598582.html"   Extracted="3540442391"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/598582.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354065691X"   Paper_ID="/598582.html"   Extracted="354065691X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/598582.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3642009816"   Paper_ID="/598582.html"   Extracted="3642009816"   />

            <identifier   Org="ISBN:9053565183"   Paper_ID="/598582.html"   Extracted="9053565183"   DDC="610.9515"   Normalized_DDC="6109515"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="/598582.html"   Extracted="9053565760"   />

      </rec>

      <rec   ID="/385097.html"   Type="incollection"   CiteSeer_Book="Handbook   of   graph   grammars   and   computing   by   graph   transformations   vol1   Foundations"   CiteSeer_Volume=""   Title="The   Expression   Of   Graph   Properties   And   Graph   Transformations   In   Monadic   Second-Order   Logic,">

            <identifier   Org="ISBN:3540201440"   Paper_ID="/385097.html"   Extracted="3540201440"   DDC="05.1/15"   Normalized_DDC="05115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540241019"   Paper_ID="/385097.html"   Extracted="3540241019"   DDC="004.65"   Normalized_DDC="00465"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540282319"   Paper_ID="/385097.html"   Extracted="3540282319"   DDC="005.1/015113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354030553X"   Paper_ID="/385097.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540412859"   Paper_ID="/385097.html"   Extracted="3540412859"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/385097.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354044310X"   Paper_ID="/385097.html"   Extracted="354044310X"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/385097.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540630457"   Paper_ID="/385097.html"   Extracted="3540630457"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540632468"   Paper_ID="/385097.html"   Extracted="3540632468"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540651950"   Paper_ID="/385097.html"   Extracted="3540651950"   DDC="004.015115"   Normalized_DDC="004015115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662014"   Paper_ID="/385097.html"   Extracted="3540662014"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/385097.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672478"   Paper_ID="/385097.html"   Extracted="3540672478"   DDC="511/.6"   Normalized_DDC="5116"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/385097.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540705740"   Paper_ID="/385097.html"   Extracted="3540705740"   />

            <identifier   Org="ISBN:3540787429"   Paper_ID="/385097.html"   Extracted="3540787429"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540874046"   Paper_ID="/385097.html"   Extracted="3540874046"   />

            <identifier   Org="ISBN:3642009816"   Paper_ID="/385097.html"   Extracted="3642009816"   />

            <identifier   Org="ISBN:981024021X"   Paper_ID="/385097.html"   Extracted="981024021X"   DDC="511.5"   Normalized_DDC="5115"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/344877.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Partial   Commutation   and   Traces,">

            <identifier   Org="ISBN:0821834673"   Paper_ID="/344877.html"   Extracted="0821834673"   DDC="004.6"   Normalized_DDC="0046"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/344877.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540206094"   Paper_ID="/344877.html"   Extracted="3540206094"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540240144"   Paper_ID="/344877.html"   Extracted="3540240144"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/344877.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540424970"   Paper_ID="/344877.html"   Extracted="3540424970"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/344877.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540427872"   Paper_ID="/344877.html"   Extracted="3540427872"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/344877.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/344877.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/344877.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/344877.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/344877.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540664122"   Paper_ID="/344877.html"   Extracted="3540664122"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/344877.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3540732071"   Paper_ID="/344877.html"   Extracted="3540732071"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540782907"   Paper_ID="/344877.html"   Extracted="3540782907"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354085360X"   Paper_ID="/344877.html"   Extracted="354085360X"   DDC="681"   Normalized_DDC="681"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3642024238"   Paper_ID="/344877.html"   Extracted="3642024238"   />

            <identifier   Org="ISBN:9810243804"   Paper_ID="/344877.html"   Extracted="9810243804"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/391876.html"   Type="inproceedings"   CiteSeer_Book="Banff   Higher   Order   Workshop"   CiteSeer_Volume=""   Title="Automated   Temporal   Reasoning   about   Reactive   Systems,">

            <identifier   Org="ISBN:0262510987"   Paper_ID="/391876.html"   Extracted="0262510987"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0387953493"   Paper_ID="/391876.html"   Extracted="0387953493"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0444828303"   Paper_ID="/391876.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0780379373"   Paper_ID="/391876.html"   Extracted="0780379373"   />

            <identifier   Org="ISBN:0780382714"   Paper_ID="/391876.html"   Extracted="0780382714"   />

            <identifier   Org="ISBN:3540000291"   Paper_ID="/391876.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540002960"   Paper_ID="/391876.html"   Extracted="3540002960"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540404503"   Paper_ID="/391876.html"   Extracted="3540404503"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540437851"   Paper_ID="/391876.html"   Extracted="3540437851"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/391876.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/391876.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/391876.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540609156"   Paper_ID="/391876.html"   Extracted="3540609156"   DDC="004/.36/015113"   Normalized_DDC="00436015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/391876.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/391876.html"   Extracted="3540631410"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540679014"   Paper_ID="/391876.html"   Extracted="3540679014"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/225566.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the20th   International   Colloquium   on   Automata   Languages   and   Programming   ICALP93   Lund   Sweden   1993"   CiteSeer_Volume=""   Title="Logical   definability   on   infinite   traces,">

            <identifier   Org="ISBN:0818663103"   Paper_ID="/225566.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/225566.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/225566.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540006222"   Paper_ID="/225566.html"   Extracted="3540006222"   DDC="005.8/2"   Normalized_DDC="00582"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540212582"   Paper_ID="/225566.html"   Extracted="3540212582"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540240144"   Paper_ID="/225566.html"   Extracted="3540240144"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/225566.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/225566.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540418644"   Paper_ID="/225566.html"   Extracted="3540418644"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/225566.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/225566.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/225566.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540438645"   Paper_ID="/225566.html"   Extracted="3540438645"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540569391"   Paper_ID="/225566.html"   Extracted="3540569391"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/225566.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/225566.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/225566.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/225566.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/225566.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/141189.html"   Type="inproceedings"   CiteSeer_Book="Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="An   Until   Hierarchy   for   Temporal   Logic,">

            <identifier   Org="ISBN:0125321112"   Paper_ID="/141189.html"   Extracted="0125321112"   DDC="512.2"   Normalized_DDC="5122"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0769511252"   Paper_ID="/141189.html"   Extracted="0769511252"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/141189.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:078033762X"   Paper_ID="/141189.html"   Extracted="078033762X"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/141189.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:1586038052"   Paper_ID="/141189.html"   Extracted="1586038052"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540002960"   Paper_ID="/141189.html"   Extracted="3540002960"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/141189.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/141189.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/141189.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354066856X"   Paper_ID="/141189.html"   Extracted="354066856X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:354070843X"   Paper_ID="/141189.html"   Extracted="354070843X"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="/141189.html"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/365401.html"   Type="incollection"   CiteSeer_Book="Handbook   of   Formal   Languages"   CiteSeer_Volume=""   Title="Two-Dimensional   Languages,">

            <identifier   Org="ISBN:0387096795"   Paper_ID="/365401.html"   Extracted="0387096795"   DDC="616.07"   Normalized_DDC="61607"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0521663407"   Paper_ID="/365401.html"   Extracted="0521663407"   DDC="411/.0285"   Normalized_DDC="4110285"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0669045446"   Paper_ID="/365401.html"   Extracted="0669045446"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0754640167"   Paper_ID="/365401.html"   Extracted="0754640167"   DDC="192"   Normalized_DDC="192"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540209077"   Paper_ID="/365401.html"   Extracted="3540209077"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540223932"   Paper_ID="/365401.html"   Extracted="3540223932"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540240144"   Paper_ID="/365401.html"   Extracted="3540240144"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/365401.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354070843X"   Paper_ID="/365401.html"   Extracted="354070843X"   />

            <identifier   Org="ISBN:3540732071"   Paper_ID="/365401.html"   Extracted="3540732071"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354075413X"   Paper_ID="/365401.html"   Extracted="354075413X"   />

            <identifier   Org="ISBN:354076335X"   Paper_ID="/365401.html"   Extracted="354076335X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540958908"   Paper_ID="/365401.html"   Extracted="3540958908"   />

            <identifier   Org="ISBN:8170994845"   Paper_ID="/365401.html"   Extracted="8170994845"   />

      </rec>

      <rec   ID="/85629.html"   Type="inproceedings"   CiteSeer_Book="Mathematical   Foundations   of   Computer   Science"   CiteSeer_Volume=""   Title="{MSO}   Definable   Text   Languages,">

            <identifier   Org="ISBN:3540434534"   Paper_ID="/85629.html"   Extracted="3540434534"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540583386"   Paper_ID="/85629.html"   Extracted="3540583386"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/85629.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/89379.html"   Type="article"   CiteSeer_Book="SIAM   Journal   of   Computing"   CiteSeer_Volume="16"   Title="Languages   That   Capture   Complexity   Classes,">

            <identifier   Org="ISBN:0387538321"   Paper_ID="/89379.html"   Extracted="0387538321"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0387973508"   Paper_ID="/89379.html"   Extracted="0387973508"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0387986006"   Paper_ID="/89379.html"   Extracted="0387986006"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:078033762X"   Paper_ID="/89379.html"   Extracted="078033762X"   />

            <identifier   Org="ISBN:0818640707"   Paper_ID="/89379.html"   Extracted="0818640707"   />

            <identifier   Org="ISBN:0818673877"   Paper_ID="/89379.html"   Extracted="0818673877"   />

            <identifier   Org="ISBN:0821805177"   Paper_ID="/89379.html"   Extracted="0821805177"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0821805304"   Paper_ID="/89379.html"   Extracted="0821805304"   DDC="519.4"   Normalized_DDC="5194"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3110162733"   Paper_ID="/89379.html"   Extracted="3110162733"   DDC="410/.1/51"   Normalized_DDC="410151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540237240"   Paper_ID="/89379.html"   Extracted="3540237240"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/89379.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540527532"   Paper_ID="/89379.html"   Extracted="3540527532"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540535047"   Paper_ID="/89379.html"   Extracted="3540535047"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540543457"   Paper_ID="/89379.html"   Extracted="3540543457"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540557199"   Paper_ID="/89379.html"   Extracted="3540557199"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540589074"   Paper_ID="/89379.html"   Extracted="3540589074"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540601783"   Paper_ID="/89379.html"   Extracted="3540601783"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540602461"   Paper_ID="/89379.html"   Extracted="3540602461"   />

            <identifier   Org="ISBN:3540643109"   Paper_ID="/89379.html"   Extracted="3540643109"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540648232"   Paper_ID="/89379.html"   Extracted="3540648232"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/31458.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="125"   Title="Branching-Time   Temporal   Logic   and   Tree   Automata,">

            <identifier   Org="ISBN:3540606491"   Paper_ID="/31458.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/50818.html"   Type="inproceedings"   CiteSeer_Book="CSL"   CiteSeer_Volume=""   Title="Logics   For   Context-Free   Languages,">

            <identifier   Org="ISBN:0444516905"   Paper_ID="/50818.html"   Extracted="0444516905"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0769521207"   Paper_ID="/50818.html"   Extracted="0769521207"   />

            <identifier   Org="ISBN:1581138520"   Paper_ID="/50818.html"   Extracted="1581138520"   />

            <identifier   Org="ISBN:3110162733"   Paper_ID="/50818.html"   Extracted="3110162733"   DDC="410/.1/51"   Normalized_DDC="410151"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3110178214"   Paper_ID="/50818.html"   Extracted="3110178214"   DDC="415/.01/51"   Normalized_DDC="4150151"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540212027"   Paper_ID="/50818.html"   Extracted="3540212027"   DDC="511.3/4"   Normalized_DDC="51134"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540223452"   Paper_ID="/50818.html"   Extracted="3540223452"   DDC="006.333"   Normalized_DDC="006333"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540600175"   Paper_ID="/50818.html"   Extracted="3540600175"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/50818.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/50818.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354065691X"   Paper_ID="/50818.html"   Extracted="354065691X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/50818.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3765719005"   Paper_ID="/50818.html"   Extracted="3765719005"   />

      </rec>

      <rec   ID="/407226.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Nondeterminism   versus   determinism   of   finite   automata   over   acyclic   directed   graphs,">

            <identifier   Org="ISBN:3540645705"   Paper_ID="/407226.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/570410.html"   Type="incollection"   CiteSeer_Book="Nivat      Podelski   Eds   Tree   Automata   and   Languages   Studies   in   Computer   Science   and   Artificial   Intelligence   10   NorthHolland"   CiteSeer_Volume=""   Title="Interpretability   and   Tree   Automata:   {A}   Simple   Way   to   Solve   Algorithmic   Problems   on   Graphs   Closely   Related   to   Trees,">

            <identifier   Org="ISBN:0444890262"   Paper_ID="/570410.html"   Extracted="0444890262"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/570410.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540230718"   Paper_ID="/570410.html"   Extracted="3540230718"   DDC="519.5/44"   Normalized_DDC="519544"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/570410.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/570410.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540645705"   Paper_ID="/570410.html"   Extracted="3540645705"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/570410.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/566722.html"   Type="article"   CiteSeer_Book="Mathematical   Structures   in   Computer   Science"   CiteSeer_Volume="6"   Title="Linear   Time   Computable   Problems   and   First-Order   Descriptions,">

            <identifier   Org="ISBN:0821805177"   Paper_ID="/566722.html"   Extracted="0821805177"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581133618"   Paper_ID="/566722.html"   Extracted="1581133618"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540212027"   Paper_ID="/566722.html"   Extracted="3540212027"   DDC="511.3/4"   Normalized_DDC="51134"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540416951"   Paper_ID="/566722.html"   Extracted="3540416951"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/566722.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540662243"   Paper_ID="/566722.html"   Extracted="3540662243"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540693106"   Paper_ID="/566722.html"   Extracted="3540693106"   />

            <identifier   Org="ISBN:3540738134"   Paper_ID="/566722.html"   Extracted="3540738134"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354074455X"   Paper_ID="/566722.html"   Extracted="354074455X"   />

            <identifier   Org="ISBN:3540749144"   Paper_ID="/566722.html"   Extracted="3540749144"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:354079722X"   Paper_ID="/566722.html"   Extracted="354079722X"   DDC="530.11"   Normalized_DDC="53011"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3923923333"   Paper_ID="/566722.html"   Extracted="3923923333"   />

            <identifier   Org="ISBN:9053565183"   Paper_ID="/566722.html"   Extracted="9053565183"   DDC="610.9515"   Normalized_DDC="6109515"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="/566722.html"   Extracted="9053565760"   />

      </rec>

      <rec   ID="/329320.html"   Type="inproceedings"   CiteSeer_Book="Banff   Higher   Order   Workshop"   CiteSeer_Volume=""   Title="Modal   and   Temporal   Logics   for   Processes,">

            <identifier   Org="ISBN:0387987177"   Paper_ID="/329320.html"   Extracted="0387987177"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0444828303"   Paper_ID="/329320.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792356276"   Paper_ID="/329320.html"   Extracted="0792356276"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540000291"   Paper_ID="/329320.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/329320.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/329320.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540425225"   Paper_ID="/329320.html"   Extracted="3540425225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540572082"   Paper_ID="/329320.html"   Extracted="3540572082"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540581316"   Paper_ID="/329320.html"   Extracted="3540581316"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540583297"   Paper_ID="/329320.html"   Extracted="3540583297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354060300X"   Paper_ID="/329320.html"   Extracted="354060300X"   DDC="004.2/4"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540609156"   Paper_ID="/329320.html"   Extracted="3540609156"   DDC="004/.36/015113"   Normalized_DDC="00436015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540610421"   Paper_ID="/329320.html"   Extracted="3540610421"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540643567"   Paper_ID="/329320.html"   Extracted="3540643567"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/329320.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/329320.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540651381"   Paper_ID="/329320.html"   Extracted="3540651381"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540654763"   Paper_ID="/329320.html"   Extracted="3540654763"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/101863.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="On   the   Synthesis   of   Strategies   in   Infinite   Games,">

            <identifier   Org="ISBN:0818679263"   Paper_ID="/101863.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/101863.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540212361"   Paper_ID="/101863.html"   Extracted="3540212361"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354021299X"   Paper_ID="/101863.html"   Extracted="354021299X"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540228497"   Paper_ID="/101863.html"   Extracted="3540228497"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540230246"   Paper_ID="/101863.html"   Extracted="3540230246"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540432833"   Paper_ID="/101863.html"   Extracted="3540432833"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540436316"   Paper_ID="/101863.html"   Extracted="3540436316"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/101863.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/101863.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/101863.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354065013X"   Paper_ID="/101863.html"   Extracted="354065013X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664254"   Paper_ID="/101863.html"   Extracted="3540664254"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540695060"   Paper_ID="/101863.html"   Extracted="3540695060"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540744061"   Paper_ID="/101863.html"   Extracted="3540744061"   />

            <identifier   Org="ISBN:354076335X"   Paper_ID="/101863.html"   Extracted="354076335X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354077565X"   Paper_ID="/101863.html"   Extracted="354077565X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540852379"   Paper_ID="/101863.html"   Extracted="3540852379"   />

            <identifier   Org="ISBN:3540926860"   Paper_ID="/101863.html"   Extracted="3540926860"   />

            <identifier   Org="ISBN:9812382615"   Paper_ID="/101863.html"   Extracted="9812382615"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/20224.html"   Type="inproceedings"   CiteSeer_Book="REX   SchoolSymposium"   CiteSeer_Volume=""   Title="Logical   Specifications   of   Infinite   Computations,">

            <identifier   Org="ISBN:3540002960"   Paper_ID="/20224.html"   Extracted="3540002960"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540261796"   Paper_ID="/20224.html"   Extracted="3540261796"   DDC="511.3/52"   Normalized_DDC="511352"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540323015"   Paper_ID="/20224.html"   Extracted="3540323015"   />

            <identifier   Org="ISBN:3540580433"   Paper_ID="/20224.html"   Extracted="3540580433"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540587152"   Paper_ID="/20224.html"   Extracted="3540587152"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/20224.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540749144"   Paper_ID="/20224.html"   Extracted="3540749144"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3936905029"   Paper_ID="/20224.html"   Extracted="3936905029"   />

      </rec>

      <rec   ID="/47880.html"   Type="inproceedings"   CiteSeer_Book="Banff   Higher   Order   Workshop"   CiteSeer_Volume=""   Title="An   Automata-Theoretic   Approach   to   Linear   Temporal   Logic,">

            <identifier   Org="ISBN:3540222367"   Paper_ID="/47880.html"   Extracted="3540222367"   DDC="511.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/47880.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540401172"   Paper_ID="/47880.html"   Extracted="3540401172"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/47880.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/47880.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/47880.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/47880.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540609156"   Paper_ID="/47880.html"   Extracted="3540609156"   DDC="004/.36/015113"   Normalized_DDC="00436015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/47880.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664084"   Paper_ID="/47880.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/47880.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540664920"   Paper_ID="/47880.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678956"   Paper_ID="/47880.html"   Extracted="3540678956"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540695729"   Paper_ID="/47880.html"   Extracted="3540695729"   />

            <identifier   Org="ISBN:3540697357"   Paper_ID="/47880.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/47880.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="/47880.html"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354076335X"   Paper_ID="/47880.html"   Extracted="354076335X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3642029299"   Paper_ID="/47880.html"   Extracted="3642029299"   />

      </rec>

      <rec   ID="/285106.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="115"   Title="Reasoning   About   Infinite   Computations,">

            <identifier   Org="ISBN:0262232138"   Paper_ID="/285106.html"   Extracted="0262232138"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1558604219"   Paper_ID="/285106.html"   Extracted="1558604219"   />

            <identifier   Org="ISBN:1599711508"   Paper_ID="/285106.html"   Extracted="1599711508"   />

            <identifier   Org="ISBN:3540227911"   Paper_ID="/285106.html"   Extracted="3540227911"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/285106.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/285106.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/285106.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540422544"   Paper_ID="/285106.html"   Extracted="3540422544"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540434194"   Paper_ID="/285106.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540439978"   Paper_ID="/285106.html"   Extracted="3540439978"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/285106.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/285106.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/285106.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/285106.html"   Extracted="3540660100"   />

            <identifier   Org="ISBN:3540698493"   Paper_ID="/285106.html"   Extracted="3540698493"   />

            <identifier   Org="ISBN:3540709177"   Paper_ID="/285106.html"   Extracted="3540709177"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540749144"   Paper_ID="/285106.html"   Extracted="3540749144"   DDC="004.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/285106.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/285106.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="/469446.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="Monadic   Second   Order   Logic   on   Tree-Like   Structures,">

            <identifier   Org="ISBN:0818679263"   Paper_ID="/469446.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0821805177"   Paper_ID="/469446.html"   Extracted="0821805177"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540003886"   Paper_ID="/469446.html"   Extracted="3540003886"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/469446.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540212361"   Paper_ID="/469446.html"   Extracted="3540212361"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/469446.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540275800"   Paper_ID="/469446.html"   Extracted="3540275800"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540292098"   Paper_ID="/469446.html"   Extracted="3540292098"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="/469446.html"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="/469446.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/469446.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540439315"   Paper_ID="/469446.html"   Extracted="3540439315"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/469446.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540609229"   Paper_ID="/469446.html"   Extracted="3540609229"   DDC="004/.01/511"   Normalized_DDC="00401511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540616047"   Paper_ID="/469446.html"   Extracted="3540616047"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540875301"   Paper_ID="/469446.html"   Extracted="3540875301"   />

            <identifier   Org="ISBN:9053565183"   Paper_ID="/469446.html"   Extracted="9053565183"   DDC="610.9515"   Normalized_DDC="6109515"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="/469446.html"   Extracted="9053565760"   />

      </rec>

      <rec   ID="/342928.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Theoretical   Aspects   of   Computer   Science"   CiteSeer_Volume=""   Title="Locally   Threshold   Testable   Languages   of   Infinite   Words,">

            <identifier   Org="ISBN:0125321112"   Paper_ID="/342928.html"   Extracted="0125321112"   DDC="512.2"   Normalized_DDC="5122"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0198534922"   Paper_ID="/342928.html"   Extracted="0198534922"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0415298857"   Paper_ID="/342928.html"   Extracted="0415298857"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:078033762X"   Paper_ID="/342928.html"   Extracted="078033762X"   />

            <identifier   Org="ISBN:3540405615"   Paper_ID="/342928.html"   Extracted="3540405615"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540428127"   Paper_ID="/342928.html"   Extracted="3540428127"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540428755"   Paper_ID="/342928.html"   Extracted="3540428755"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540565035"   Paper_ID="/342928.html"   Extracted="3540565035"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="/342928.html"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540642757"   Paper_ID="/342928.html"   Extracted="3540642757"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/342928.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3642029582"   Paper_ID="/342928.html"   Extracted="3642029582"   />

      </rec>

      <rec   ID="/138185.html"   Type="inproceedings"   CiteSeer_Book="Formal   Techniques   in   RealTime   and   FaultTolerant   Systems"   CiteSeer_Volume=""   Title="{S}pecifying   {T}imed   {S}tate   {S}equences   in   {P}owerful   {D}ecidable   {L}ogics   and   {T}imed   {A}utomata,"   />

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Languages,   Automata,   and   Logic">

            <identifier   Org="ISBN:0817642072"   Paper_ID="SELF"   Extracted="0817642072"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586038141"   Paper_ID="SELF"   Extracted="1586038141"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540002251"   Paper_ID="SELF"   Extracted="3540002251"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540230246"   Paper_ID="SELF"   Extracted="3540230246"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540253335"   Paper_ID="SELF"   Extracted="3540253335"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540275800"   Paper_ID="SELF"   Extracted="3540275800"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540404384"   Paper_ID="SELF"   Extracted="3540404384"   DDC="005.1/5"   Normalized_DDC="00515"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540406719"   Paper_ID="SELF"   Extracted="3540406719"   />

            <identifier   Org="ISBN:3540424997"   Paper_ID="SELF"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540438645"   Paper_ID="SELF"   Extracted="3540438645"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="SELF"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540606491"   Paper_ID="SELF"   Extracted="3540606491"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="SELF"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="SELF"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540694056"   Paper_ID="SELF"   Extracted="3540694056"   />

            <identifier   Org="ISBN:3540732071"   Paper_ID="SELF"   Extracted="3540732071"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="SELF"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354076335X"   Paper_ID="SELF"   Extracted="354076335X"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9053565760"   Paper_ID="SELF"   Extracted="9053565760"   />

      </rec>

</references_metadata>

www.000webhost.com