Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/mmsss:"
download as .bib file
@proceedings{DBLP:conf/aii/1985,
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16444-8},
doi = {10.1007/3-540-16444-8},
isbn = {3-540-16444-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/1985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/BergstraK85,
author = {Jan A. Bergstra and
Jan Willem Klop},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Verification of an alternating bit protocol by means of process algebra},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {9--23},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_1},
doi = {10.1007/3-540-16444-8\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/BergstraK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Bibel85,
author = {Wolfgang Bibel},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Predicative programming revisited},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {25--40},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_2},
doi = {10.1007/3-540-16444-8\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Bibel85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Botusharov85,
author = {Ognian Botusharov},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Learning on the basis of a polynomial pattern synthesis algorithm},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {141--148},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_9},
doi = {10.1007/3-540-16444-8\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Botusharov85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/CybulkaB85,
author = {Jolanta Cybulka and
Jerzy Bartoszek},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The proof-checking component for the {PLEATS} programming system enabling
specification of theories},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {149--155},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_10},
doi = {10.1007/3-540-16444-8\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/CybulkaB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Daley85,
author = {Robert P. Daley},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Inductive inference hierarchies: probabilistic vs pluralistic strategies},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {73--82},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_5},
doi = {10.1007/3-540-16444-8\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Daley85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/DilgerW85,
author = {Werner Dilger and
Wolfgang Womann},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The {METANET.} {A} knowledge representation tool based on abstract
data types},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {156--161},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_11},
doi = {10.1007/3-540-16444-8\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/DilgerW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Ejsmont85,
author = {Marek Ejsmont},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {One more property of array languages},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {162--168},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_12},
doi = {10.1007/3-540-16444-8\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Ejsmont85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/GergelyV85,
author = {Tam{\'{a}}s Gergely and
Konstantin Vershinin},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Natural mathematical texts vs. programs},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {83--100},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_6},
doi = {10.1007/3-540-16444-8\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/GergelyV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/GoncharovS85,
author = {Sergei S. Goncharov and
Dmitri Ivanovich Sviridenko},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Theoretical aspects of Sigma-programming},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {169--179},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_13},
doi = {10.1007/3-540-16444-8\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/GoncharovS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Habasinski85,
author = {Zdzislaw Habasinski},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Decidability in Pratt's process logics},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {180--184},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_14},
doi = {10.1007/3-540-16444-8\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Habasinski85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Jantke85,
author = {Klaus P. Jantke},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {An algebraic framework for inductive program synthesis},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {101--122},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_7},
doi = {10.1007/3-540-16444-8\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Jantke85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/KomjathS85,
author = {P{\'{e}}ter Komj{\'{a}}th and
Zsolt Mih{\'{a}}ly Szab{\'{o}}},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Orientation problems on sequences by recursive functions},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {201--206},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_17},
doi = {10.1007/3-540-16444-8\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/KomjathS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Lange85,
author = {Steffen Lange},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {A program synthesis algorithm exemplified},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {185--193},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_15},
doi = {10.1007/3-540-16444-8\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Lange85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Loeckx85,
author = {Jacques Loeckx},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The algorithmic specification method of abstract data types: an overview},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {194--200},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_16},
doi = {10.1007/3-540-16444-8\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Loeckx85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/PosthoffR85,
author = {Christian Posthoff and
Joachim Rei{\ss}},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The solution of discrete problems by means of ternary representation},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {207--214},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_18},
doi = {10.1007/3-540-16444-8\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/PosthoffR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Potschke85,
author = {Dieter P{\"{o}}tschke},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Formalizing analogical reasoning},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {215--218},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_19},
doi = {10.1007/3-540-16444-8\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Potschke85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/RasiowaS85,
author = {Helena Rasiowa and
Andrzej Skowron},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Approximation logic},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {123--139},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_8},
doi = {10.1007/3-540-16444-8\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/RasiowaS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Schafer85,
author = {Gisela Sch{\"{a}}fer},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Some results in the theory of effective program synthesis: learning
by defective information},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {219--225},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_20},
doi = {10.1007/3-540-16444-8\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Schafer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Shinohara85,
author = {Takeshi Shinohara},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Some problems on inductive inference from positive data},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {41--58},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_3},
doi = {10.1007/3-540-16444-8\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Shinohara85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Thalheim85,
author = {Bernhard Thalheim},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Deductive normal forms of relations},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {226--230},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_21},
doi = {10.1007/3-540-16444-8\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Thalheim85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Tyugu85,
author = {Enn Tyugu},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {Language and example of knowledge-based programming},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {59--72},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_4},
doi = {10.1007/3-540-16444-8\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Tyugu85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Wiehagen85,
author = {Rolf Wiehagen},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {How fast is program synthesis from examples},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {231--239},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_22},
doi = {10.1007/3-540-16444-8\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Wiehagen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Zeugmann85,
author = {Thomas Zeugmann},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {On recursive optimizers},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {240--245},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_23},
doi = {10.1007/3-540-16444-8\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Zeugmann85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-07 19:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
