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.
Filters
Preface: Theory and Applications of Abstraction, Substitution and Naming
2011
Journal of automated reasoning
Preserved Fulltext
The first International Workshop on Theory and Applications of Abstraction, Substitution and Naming (TASSN) took place in Edinburgh in 2007, followed by a second workshop in York in 2009, associated to ...
Formal treatments of abstract syntax have proved harder to develop, especially those addressing properties related to substituting structures for variables, binding of names and fresh name generation. ...
In Encoding abstract syntax without fresh names, Lakin and Pitts recall the main features of the language and develop a theory of contextual equivalence for it. ...
doi:10.1007/s10817-011-9217-2
fatcat:p7pu4z5be5grng44bmhnsueks4
Preface
2011
Theoretical Computer Science
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 2019; you can also visit the original URL.
The file type is application/pdf.
Preface This special issue contains extended versions of selected works and invited speaker's contributions presented at the Third and Fourth Workshops on Logical and Semantical Frameworks with Applications ...
Delia Kesner and Fabien Renaud, in "A Prismoid Framework for Languages with Resources", describe a family of lambdacalculi with explicit substitutions, explicit copy, and explicit erase. ...
Last, but not least, Luis Schechter and Marcelo Benevides, in ''A Study on Multi-Dimensional Products of Graphs and Hybrid Logics'', explain a novel application of hybrid logic. ...
doi:10.1016/j.tcs.2011.06.002
fatcat:nkejks5grzhv7hpykplh4f4mhu
Preface
[chapter]
1998
Dictionary of the Theatre
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 2022; you can also visit the original URL.
The file type is application/pdf.
Is it merely a coincidence that "absurd" has given way to "abstraction"? And is not abstraction a better response than absurdity to the proliferation of new forms? ...
Any lexicon fixes language use at a particular point in its evolution, takes an inventory of naming signs and defines things named using existing terms. ...
TRANSLATOR'S ACKNOWLEDGMENTS I would like to acknowledge the support provided by the Canada Council and the Government of France. ...
doi:10.3138/9781442673908-002
fatcat:zxjrv6zhjra7hpo666sbk4k62m
Preface
[chapter]
1989
Reading Rawls
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 2022; you can also visit the original URL.
The file type is application/pdf.
Second, there has been considerable elaboration and evolution of Rawls' theory in the last fifteen years, some of it in response to the work in this collection. ...
This collection of essays includes many of the best initial critical responses to John Rawls' A Theory of Justice. ...
Rawls' principles require for their interpretation a usable index of primary social goods. I already noted Nagel's worries about abstracting from life plans and substituting primary goods. ...
doi:10.1515/9781503620919-002
fatcat:6tdyyum7mfdclaszu675uub6wy
Preface
[chapter]
2022
Sex Is as Sex Does
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 2022; you can also visit the original URL.
The file type is application/pdf.
Preface I live in New York State. ...
An empirical case might be a particular application of a policy on sex definition at a particular agency at a particular moment in time; a general theory might attempt to set out a globalizing account ...
doi:10.18574/nyu/9781479812011.003.0003
fatcat:klrspkeiivd4fferpp2vn327gu
Preface
[chapter]
2020
Handbook of Analytical Studies in Islamic Finance and Economics
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.
There are of course insiders who defend, hard and fast, the dominant theory and the system that has resulted from its application. ...
"The problem of excess", Sociological Theory, vol. 32, no. 1, pp.1-26. Preface by anthropologists. ...
doi:10.1515/9783110587920-202
fatcat:punox624gfc4dmapiwlcp6s5fm
Preface
[chapter]
2013
Religious Conversion
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.
In his preface he states that he has in no way altered his principles, but only changed the method of their application. ...
The theories of Freud on the subject are that the sexual instincts (Sexuelle Triebregungen) axe extraordinarily plastic and that it is perfectly possible, therefore, for one to become substituted for another ...
Take now in my diffuse speech Francis and Poverty for these lovers." This clearly shows the association of love and poverty and the mystic union between Poverty and St. ...
doi:10.4324/9781315010670-5
fatcat:5uccvlek7nh6dntok6mjjqfh6a
PREFACE
[chapter]
1985
Developments in Soil Mechanics and Foundation Engineering Volume 2
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.
a prime case for the application of the theory of couple stresses (Cosserat and Cosserat, 1909; Mindlin, 1963; Koiter, 1964; Fung, 1965) . ...
A model of nonlinearly hardening materials for complex loadings, Proc. 7th US National Congress of Appl. Mech., Boulder, 149 (Abstract), 1974 and Acta Mech., 21, 173-92. ...
doi:10.4324/9780203975879-0
fatcat:lampvnpzeffotmibnirlf5746a
Preface
2010
Wacana: Journal of the Humanities of Indonesia
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.
The quote from The Jakarta Post above mentions two female names, Triyaningsih and Ratnawati that have been made though the application of productive name-making procedures. ...
Wales points out that in many discussions of personal pronouns, it is suggested that the motivation for substitution (that is, substituting an NP for a pronoun) is avoidance of repetition. ...
The length of the Abstract should be not more than 150 words. • Keywords in English. ...
doi:10.17510/wjhi.v12i2.131
fatcat:x4fthohrqfhlva3cqixml54nbe
Frontmatter, Table of Contents, Preface, Workshop Organization
2015
International Conference on Rewriting Techniques and Applications
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 2022; you can also visit the original URL.
The file type is application/pdf.
OASIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. ...
OASIcs -OpenAccess Series in Informatics OASIcs aims at a suitable publication venue to publish peer-reviewed collections of papers emerging from a scientific event. ...
In particular we would like to thank Mark Herbstritt and Michael Wagner for their very helpful and always prompt support during production of the OASIcs proceedings. ...
doi:10.4230/oasics.wpte.2015.i
dblp:conf/rta/X15
fatcat:pgv2pjd3vzdwra3a7zthauerzq
Preface
[chapter]
2022
Neuroenhancement
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 2022; you can also visit the original URL.
The file type is application/pdf.
The decisive reason assumption of the restrictive views 6.2.3 The burden of proof strategy of the permissive views . 6.2.4 Lack of transparency in ethical grounding . . . . . . ...
Preface In a very general sense, enhancement is a process of improving the capabilities of a human person. Improvement can be achieved by invasive and non-invasive means or methods. ...
While this might at first sound quite abstract, some authors tend to refer to a set of concrete examples of possible biotechnological interventions and discuss animal studies where the effects have been ...
doi:10.5771/9783495999615-9
fatcat:h5zo37l7lje4vdygybtjzebqoi
Preface
[chapter]
2021
A Victorian Curate
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 2021; you can also visit the original URL.
The file type is application/pdf.
An abstract is proverbially dull reading, and a whole series of abstracts is inconceivably depressing after a time, even if, as in this case, they are intelligently and carefully performed. ...
What he was asked to do was to form some intelligent theories on the mass of crude fact, and then to make the theory and the narrative of fact mutually illustrate each other. ...
The name of Luther is a household Appendix II of Germany and of things Germanic. ...
doi:10.11647/obp.0248.15
fatcat:b4dwc7z53nci7pwukofzyczyaq
Preface
1891
Camden New Series
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
applications to the King. ...
In the heat of his opposition to these theories of abstract right which he heard put forward, Ireton denied all political rights to persons not freeholders possessing a permanent interest in the country ...
Other parties might be formed and put forth other schemes for PREFACE. ...
doi:10.1017/s2042170200000590
fatcat:ewzwnbgh4zf5na2axpd2q65ml4
Preface / Acknowledgements
1989
Man and Nature
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 2016; you can also visit the original URL.
The file type is application/pdf.
: Theory and Applications (POSTA'03; POSTA'06; POSTA'09). ...
There is a large number of excellent books and survey papers covering this vast topic (including both theory and applications). ...
Software layout of master node Power on and general initialisation ...
doi:10.7202/1012590ar
fatcat:hjpvebmfbbcy7aku3pdvhuakdm
Preface, acknowledgement
[chapter]
2003
Plastics Engineered Product Design
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 2016; you can also visit the original URL.
The file type is application/pdf.
: Theory and Applications (POSTA'03; POSTA'06; POSTA'09). ...
There is a large number of excellent books and survey papers covering this vast topic (including both theory and applications). ...
Software layout of master node Power on and general initialisation ...
doi:10.1016/b978-185617416-9/50000-4
fatcat:mqvvysow5ve47gcrdhdmabishm
« Previous
Showing results 1 — 15 out of 18,888 results