The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 273 of Computational Linguistics Vol. 24, Issue 2
[page]
1998
Computational Linguistics
Preserved Fulltext
International Journal of Computer Mathematics, 17:9-23.
Paun, Gheorghe. 1994. Marcus contextual grammars. After 25 years. Bulletin of the EATCS, 52:263-273.
Paun, Gheorghe. 1997. ...
A formal linguistic model of action systems. Ars Semeiotica, 2:33-47.
Paun, Gheorghe. 1982. Contextual Grammars. The Publishing House of the Romanian Academy, Bucharest, in Romanian. ...
Notices
2014
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
He generalized the latter further than Davidson envisaged, and he became one of the leading proponents of this approach to semantics of natural language. ...
composition, differences between languages, and the nature of semantic competence. ...
Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). ...
doi:10.1017/bsl.2014.42
fatcat:yrnuvqg4unb4tmn6dft2qylqoa
Abstract State Machines 1988-1998: Commented ASM Bibliography
[article]
1998
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998. ...
Computer Science Press, 1988.The introduction and the first use of ASMs (at the end of the paper).[72] Y.Gurevich. Evolving Algebras. A Tutorial Introduction. Bulletin of EATCS, 43:264-284, 1991. ...
Source code (the ultimate refinement) for the case study appears in [95] ; the model checking results for the ASM models appears in [124] . [ Develops a simple ASM interpreter for Gödel programs. ...
arXiv:cs/9811014v1
fatcat:w3vj5i7mzbccbcibroi7dkmhtq
Page 2 of Evangelist and Religious Review Vol. 20, Issue 17
[page]
1849
Evangelist and Religious Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Ths Prise Essay on the Patent Eatcs.—The pro¬ prietors of the Scientific American recently offered a prize
District; A. J. ...
We have a school Library in our District of some four hundred volumes, and among the reel some thrse or four volumes of Parley’s Magazine. YYhile many of the books
of their mother. ...
Parameterized algorithms and data reduction for the short secluded s-t-path problem
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
size polynomial in the vertex cover number of the input graph. ...
polynomial in the feedback edge number of the input graph and with size polynomial in the feedback vertex number, $k$, and $\ell$. ...
Bulletin of the EATCS, 113, 2014.
http://eatcs.org/beatcs/index.php/beatcs/article/view/285.
[39] Stefan Kratsch and Magnus Wahlström. ...
arXiv:1806.09540v2
fatcat:sqjjnch4cjailc2lylht72kfz4
The 3x+1 problem: An annotated bibliography (1963--1999) (sorted by author)
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
The 3x+ 1 problem concerns iteration of the map on the integers given by T(n) = (3n+1)/2 if n is odd; T(n) = n/2 if n is even. ...
The 3x+1 Conjecture asserts that for every positive integer n > 1 the forward orbit of n under iteration by T includes the integer 1. ...
This machine M 5 of Marxen and Buntrock [Bulletin EATCS No. 40 (1990) 247-251] has Σ(M 5 ) = 47, 176, 870. ...
arXiv:math/0309224v13
fatcat:ayplvta5vbamriea77ps5i4zhy
A Survey of Quantum Property Testing
2016
Theory of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
[doi:10.1109/TIT.2008.2011524, arXiv:0705.0795] 59
[66] E LDAR F ISCHER: The art of uninformed decisions. Bulletin of the EATCS, 75:97, 2001. ...
Bulletin of the AMS, 43(4):439–561, 2006. ...
doi:10.4086/toc.gs.2016.007
dblp:journals/toc/MontanaroW16
fatcat:wkbziwghrje3pd4mjszyskuuai
O-notation in algorithm analysis
[article]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We prove that the primitive properties are equivalent to the definition of the O-notation as linear dominance. ...
We abstract the existing definitions of the O-notation under local linear dominance, and show that it has a characterization by limits over filters for positive functions. ...
Relation to publications The present paper extends a peer-reviewed publication in the Bulletin of EATCS [12] , a doctoral thesis with the same name, as well as various non-peer-reviewed versions in Arxiv ...
arXiv:1309.3210v32
fatcat:fdkni6pbrrauviyeqx6ht32ltq
Ο Ευρωπαϊκός Οργανισμός Άμυνας νομική φύση, σκοποί, λειτουργία
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
«The European Agency Electronic Bulletin Board: A Survey after Two Years», Public Procurement Law Review 18, σελ 2009
187 1 ) 1 «ΝΑΤΟ -ΕU Declaration», Joint Declaration by the President of the European ...
, JCMS 2015 Volume 53. ...
doi:10.26257/heal.duth.3678
fatcat:v7hagmhoxfgjfc2k2e73j67ax4
Optimale Partner offener Systeme
[article]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
If a partner R minimizes the costs of executing L, then R is an optimal partner of L. Our goal is to develop techniques that guarantee the composition of L with optimal partners. ...
The composition L+R of two open systems L and R can be faulty: For instance, the components deadlock (i.e. mutually wait for each other) or require an unbounded amount of memory. ...
In: Bulletin of the American
Mathematical Society 38.2 (1932), S. 85–88 (siehe S. 130).
[DSW06] M. Dumas, M. Spork und K. Wang. ...
doi:10.18452/17208
fatcat:7u32wzintbahvldyspfuw7boim
Propriétés structurelles et calculatoires des pavages Propriétés structurelles et calculatoires des pavages
2011
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Discrete Mathematics and Theoretical Computer Science, tome 3, pages 109-124, 1999. ...
Bulletin de la SMF, tome 40, pages 305-323, 1912.
[Bor08]
B. Borchert. Formal Language characterizations of P, NP, and PSPACE. ...
fatcat:oshmqtho5nen3clthry6k4mgyu
Simbolismo e tipologia do baptismo em Tertuliano e Santo Ambrósio: estudo litúrgico-teológico
2019
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
SRWALBY, The early history of the liturgy (Cambridge 2 1947) 150-165 (al.' edição data de 1913); The 'De sacramentis' a work of St. Ambrose, in JThS 44 (1943) 199s; R. H. ...
CONNOLLY, The 'De sacramentis', a work of St. Ambrose, in DR 59 (1941) 1-14 (apareceu em separata na Alden Press [Oxfor] 1942); The 'De sacramentis', a work of St. ...
regarded as proven, but the probability is great that a form mentioning the seven gifts of the Spirit was used!». ...
doi:10.34632/didaskalia.1988.898
fatcat:qanibidmlnhw5lavkm3p5e2wwe