Log in

Relevant bibliographies by topics / Separation logic / Books

To see the other types of publications on this topic, follow the link: Separation logic.

Books on the topic 'Separation logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 17 books for your research on the topic 'Separation logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Winterstein, Felix. Separation Logic for High-level Synthesis. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-53222-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Feldman, Daniel L. The logic of American government: Applying the Constitution to the contemporary world. New York: Morrow, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Stone-Richards, Michael. Logics of separation: Exile and transcendence in aesthetic modernity. New York: Peter Lang, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Masella, Maria Grazia. Dall'altare al tribunale: Per una nuova logica della separazione. Milano: Feltrinelli, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Andrichenko, Lyudmila, A. Postnikov, L. Vasil'eva, Zh Gaunova, E. Nikitina, and Inna Plyugina. Reform of the organization of public power: the main directions of implementation. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1839416.

Full text

Abstract:

The monograph examines topical issues of reforming the organization of public power in our country in connection with the adoption in 2020 of the Law on Amendments to the Constitution of the Russian Federation. The logic of changes in the organization of public power and the directions of concretization of constitutional values, taking into account the laws of the development of the constitutional system of Russia, are revealed. The most significant characteristics of the updated model of interaction of federal public authorities in accordance with the principle of separation of powers a

APA, Harvard, Vancouver, ISO, and other styles

7

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Winterstein, Felix. Separation Logic for High-level Synthesis. Springer, 2017.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

de Figueiredo, Rui J. P., Tonja Jacobi, and Barry R. Weingast. The New Separation‐of‐Powers Approach to American Politics. Edited by Donald A. Wittman and Barry R. Weingast. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199548477.003.0011.

Full text

Abstract:

This article aims to elaborate on the logic of the new separation-of-powers approach and draw its implications for American politics. The first three sections in the article discuss the new separation of powers as it applies to the bureaucracy, the courts, and the presidency. A survey of a series of works that emphasize the new separation-of-powers approach to American politics is provided in the article as well.

APA, Harvard, Vancouver, ISO, and other styles

10

Westphal, James, and Sun Hyun Park. Symbolic Management. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198792055.001.0001.

Full text

Abstract:

This book presents the symbolic management perspective as a comprehensive, behavioral theory of corporate governance. It describes a pervasive pattern of symbolic decoupling, or separation between appearances and reality, at each level of the governance system. The processes of governance are less efficient or effective than they appear, at every level: from interpersonal relations within organizations, such as relations between chief executive officers and directors and between top managers and lower-level employees, between firm leaders and external stakeholders, and between communities of l

APA, Harvard, Vancouver, ISO, and other styles

11

Stone-Richards, Michael. Logics of Separation: Exile and Transcendence in Aesthetic Modernity. Lang AG International Academic Publishers, Peter, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Li, Peter Ping. The Epistemology of Yin-Yang Balancing as the Root of Chinese Cultural Traditions. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199348541.003.0002.

Full text

Abstract:

Most Eastern traditional philosophies, such as Taoism, from China, share a set of core themes that constitute a philosophy of wisdom (science–art integration), in contrast to Western philosophies with a focus on knowledge (science–art separation). This chapter argues that the epistemological system of yin-yang balancing is the root of Eastern culture traditions. Building on this theme, the chapter elaborates on the unique features of yin-yang balancing, in contrast to Aristotle’s formal logic and Hegel’s dialectics in the West. It is posited that yin-yang balancing is more sophisticated (rathe

APA, Harvard, Vancouver, ISO, and other styles

13

Jaffro, Laurent. Locke and Port-Royal on Affirmation, Negation, and Other Postures of the Mind. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198815037.003.0011.

Full text

Abstract:

The chapter claims that in order to understand Locke’s doctrine of assent, his philosophy of mind needs to be seen in conjunction with his philosophy of language, which in turn gains from being compared with Port-Royal’s logic and grammar. It points out two conflicting facts in Locke’s account of affirmation and negation in the Essay. First, Locke entrusts affirmation and negation with the task of signifying both the assertion by which we manifest our assent to a proposition and the junction or separation of the ideas constituting the proposition. The other fact is that Locke accepts a great v

APA, Harvard, Vancouver, ISO, and other styles

14

Witte, John. Sex and Marriage in the Protestant Tradition, 1500–1900. Edited by Adrian Thatcher. Oxford University Press, 2014. http://dx.doi.org/10.1093/oxfordhb/9780199664153.013.012.

Full text

Abstract:

The chapter analyses the mainline Lutheran, Calvinist, and Anglican models of sex, marriage, and family and their gradual liberalization by Enlightenment liberalism. The theological differences between these models can be traced to their grounding in Lutheran two kingdoms doctrines, Calvinist covenantal theology, Anglican commonwealth theory, and Enlightenment contractarian logic. Lutherans consigned primary marital jurisdiction to the territorial prince or urban council. Calvinists assigned interlocking marital roles to local consistories and city councils. Anglicans left marital jurisdiction

APA, Harvard, Vancouver, ISO, and other styles

15

Rusnock, Paul, and Jan Sebestík. Bernard Bolzano. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198823681.001.0001.

Full text

Abstract:

Bernard Bolzano (1781–1850) is increasingly recognized as one of the greatest nineteenth-century philosophers. A philosopher and mathematician of rare talent, he made groundbreaking contributions to logic, the foundations and philosophy of mathematics, metaphysics, and the philosophy of religion. Many of the larger features of later analytic philosophy, but also many of the details, first appear in his work: for example, the separation of logic from psychology, his sophisticated understanding of mathematical proof, his definition, so similar to Tarski’s, of logical consequence, his work on the

APA, Harvard, Vancouver, ISO, and other styles

16

Travis, Charles. Frege. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198844129.001.0001.

Full text

Abstract:

This book is about Frege and his contribution to philosophy. It has three parts. Part I presents his general picture of thought, that is, the object of a capacity for thought (what may be thought). The point is to stress the value of separating the business of being true from thinkers’ engagement with such business, thus from issues specifically about language, and this as a model for philosophy in general. It also expands on Frege’s case for the intrinsic publicity (sharability) of thought. Part II concerns some particular developments of the general view made by Frege with a view to serving

APA, Harvard, Vancouver, ISO, and other styles

17

Ranganathan, Malini. Rethinking Urban Water (In)formality. Edited by Ken Conca and Erika Weinthal. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199335084.013.23.

Full text

Abstract:

Most urban residents around the world access water through a variety of so-called informal means. While “informal” water access is often equated with private water vendors operating outside of the state, this essay argues that informal practices and logics pervade the entire water system, cutting across perceived boundaries separating the formal and informal, state and private, and utility and nonutility. This essay reconceptualizes urban water informality through a postcolonial theoretical lens, arguing that “informal” water does not lie outside of state control and oversight, nor is it stric

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!