Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/fgmol:"
@proceedings{DBLP:conf/fgmol/2001, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, publisher = {Elsevier}, year = {2004}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/53/suppl/C}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fgmol/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ArecesBM01, author = {Carlos Areces and Raffaella Bernardi and Michael Moortgat}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Galois Connections in Categorial Type Logic}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {3--20}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82570-8}, doi = {10.1016/S1571-0661(05)82570-8}, timestamp = {Wed, 30 Nov 2022 11:51:56 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ArecesBM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Ben-AviW01, author = {Gilad Ben{-}Avi and Yoad Winter}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {A Characterization of Monotonicity with Collective Quantifiers}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {21--33}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82571-X}, doi = {10.1016/S1571-0661(05)82571-X}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Ben-AviW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BonfanteG01, author = {Guillaume Bonfante and Philippe de Groote}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Stochastic Lambek Categorial Grammars}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {34--40}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82572-1}, doi = {10.1016/S1571-0661(05)82572-1}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BonfanteG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Boullier01, author = {Pierre Boullier}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {From Contextual Grammars to Range Concatenation Grammars}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {41--52}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82573-3}, doi = {10.1016/S1571-0661(05)82573-3}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Boullier01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Cate01, author = {Balder ten Cate}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {The dynamics of information exchange dialogues}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {322--333}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82592-7}, doi = {10.1016/S1571-0661(05)82592-7}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Cate01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Debowski01, author = {Lukasz Debowski}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {A Revision of Coding Theory for Learning from Language}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {53--69}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82574-5}, doi = {10.1016/S1571-0661(05)82574-5}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Debowski01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Duchier01, author = {Denys Duchier}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Lexicalized Syntax and Topology for Non-projective Dependency Grammar}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {70--80}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82575-7}, doi = {10.1016/S1571-0661(05)82575-7}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Duchier01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Foret01, author = {Annie Foret}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {81--93}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82576-9}, doi = {10.1016/S1571-0661(05)82576-9}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Foret01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Fulop01, author = {Sean A. Fulop}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Learnability of type-logical grammars}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {94--107}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82577-0}, doi = {10.1016/S1571-0661(05)82577-0}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Fulop01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Gerdes01, author = {Kim Gerdes}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Tree Unification Grammarstar: Problems and Proposals for Topology, TAG, and German}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {108--136}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82578-2}, doi = {10.1016/S1571-0661(05)82578-2}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Gerdes01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ItoMM01, author = {Masami Ito and Carlos Mart{\'{\i}}n{-}Vide and Victor Mitrana}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {137--145}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82579-4}, doi = {10.1016/S1571-0661(05)82579-4}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ItoMM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kepser01, author = {Stephan Kepser}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {On the Complexity of {RSRL}}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {146--162}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82580-0}, doi = {10.1016/S1571-0661(05)82580-0}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kepser01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kromann01, author = {Matthias T. Kromann}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Optimality parsing and local cost functions in Discontinuous Grammar}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {163--179}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82581-2}, doi = {10.1016/S1571-0661(05)82581-2}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kromann01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lepage01, author = {Yves Lepage}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Analogy and Formal Languages}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {180--191}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82582-4}, doi = {10.1016/S1571-0661(05)82582-4}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lepage01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Michaelis01, author = {Jens Michaelis}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Observations on Strict Derivational Minimalism}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {192--209}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82583-6}, doi = {10.1016/S1571-0661(05)82583-6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Michaelis01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MorawietzM01, author = {Frank Morawietz and Uwe M{\"{o}}nnich}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {A Model-Theoretic Description of Tree Adjoining Grammars}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {210--232}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82584-8}, doi = {10.1016/S1571-0661(05)82584-8}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MorawietzM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MossO01, author = {Lawrence S. Moss and Richard T. Oehrle}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Preface}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {1--2}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82569-1}, doi = {10.1016/S1571-0661(05)82569-1}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MossO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Muller01, author = {Stefan M{\"{u}}ller}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {An {HPSG} Analysis of German Depictive Secondary Predicates}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {233--245}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82585-X}, doi = {10.1016/S1571-0661(05)82585-X}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Muller01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NevilleP01, author = {Anne Neville and Patrizia Paggio}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Developing a Danish grammar in the {GRASP} project - {A} construction-based approach to topology and extraction in Danish}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {246--259}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82586-1}, doi = {10.1016/S1571-0661(05)82586-1}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/NevilleP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Osswald01, author = {Rainer Osswald}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Classifying Classification}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {260}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82587-3}, doi = {10.1016/S1571-0661(05)82587-3}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Osswald01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Palm01, author = {Adi Palm}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Model Theoretic Syntax, Parsing: An Application to Temporal Logic}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {261--273}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82588-5}, doi = {10.1016/S1571-0661(05)82588-5}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Palm01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Penn01, author = {Gerald Penn}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {274--295}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82589-7}, doi = {10.1016/S1571-0661(05)82589-7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Penn01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Petersen01, author = {Wiebke Petersen}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {A Set-Theoretical Approach for the Induction of Inheritance Hierarchies}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {296--308}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82590-3}, doi = {10.1016/S1571-0661(05)82590-3}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Petersen01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RichterS01, author = {Frank Richter and Manfred Sailer}, editor = {Lawrence S. Moss and Richard T. Oehrle}, title = {Polish Negation and Lexical Resource Semantics}, booktitle = {Proceedings of the joint meeting of the 6th Conference on Formal Grammar {(FG)} and the 7th Conference on Mathematics of Language (MOL), {FGMOL} 2001, Helsinki, Finland, August 10-12, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {53}, pages = {309--321}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(05)82591-5}, doi = {10.1016/S1571-0661(05)82591-5}, timestamp = {Wed, 30 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RichterS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.