Skip to search formSkip to main contentSkip to account menu

Angelic Layer

Known as: Icchan go Boom, エンジェリックレイヤー, Battle Dolls Angelic Layer 
Angelic Layer (Japanese: エンジェリックレイヤー Hepburn: Enjerikku Reiyā) is a manga series released by Clamp. The manga is published in Japan by Kadokawa… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Artificial intelligence in fictionDigimon

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
'The angelic life': monasteries for eunuchs
2005
2005
Intelligences : angelic, animal, human
1999
1999
The Angelic Salutation in Early Byzantine and Medieval Annunciation Imagery
Best known as the opening phrase of a familiar Latin prayer, the angelic salutation (Luke 1:28) frequently appears in medieval… 
Highly Cited
1998
Highly Cited
1998
Revelation 6-16
Dr. David Aune's thoroughness in this definitive commentary on the first five chapters of the book of Revelation is nothing short… 
1997
1997
Revelation 1-5
Dr. David Aune's thoroughness in this definitive commentary on the first five chapters of the book of Revelation is nothing short… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
1991
1991
A Simple Language Supporting Angelic Nondeterminism and Parallel Composition
1990
1990
Duality in specification languages: a lattice-theoretical approach
SummaryA very general lattice-based language of commands, based on the primitive operations of substitution and test for equality… 
1989
1989
Changing data representation in the refinement calculus
  • R. Back
  • [] Proceedings of the Twenty-Second Annual Hawaii…
  • 1989
  • Corpus ID: 61569397
It is shown how to change the data representation in programs (data refinement) systematically within refinement calculus. Data… 
1985
1985
General correctness: A unification of partial and total correctness
SummaryGeneral correctness, which subsumes partial and total correctness, is defined for both weakest preconditions and strongest… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)