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
<?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>